[med-svn] r350 - trunk/packages/fact++/trunk/debian

[smoe-guest at alioth.debian.org]

Author: smoe-guest
Date: 2007-06-30 21:10:15 +0000 (Sat, 30 Jun 2007)
New Revision: 350

Added:
   trunk/packages/fact++/trunk/debian/FaCT++.1
   trunk/packages/fact++/trunk/debian/FaCT++.Server.1
Modified:
   trunk/packages/fact++/trunk/debian/README.Debian
Log:
Added preliminary man pages.


Added: trunk/packages/fact++/trunk/debian/FaCT++.1
===================================================================
--- trunk/packages/fact++/trunk/debian/FaCT++.1	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/FaCT++.1	2007-06-30 21:10:15 UTC (rev 350)
@@ -0,0 +1 @@
+link FaCT++.Server.1
\ No newline at end of file


Property changes on: trunk/packages/fact++/trunk/debian/FaCT++.1
___________________________________________________________________
Name: svn:special
   + *

Added: trunk/packages/fact++/trunk/debian/FaCT++.Server.1
===================================================================
--- trunk/packages/fact++/trunk/debian/FaCT++.Server.1	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/FaCT++.Server.1	2007-06-30 21:10:15 UTC (rev 350)
@@ -0,0 +1,56 @@
+.\"                                      Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH FACT++ 1 "30 Jun 2007"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh        disable hyphenation
+.\" .hy        enable hyphenation
+.\" .ad l      left justify
+.\" .ad b      justify to both left and right margins
+.\" .nf        disable filling
+.\" .fi        enable filling
+.\" .br        insert line break
+.\" .sp <n>    insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+FaCT++ \- Description logic reasoner for the Semantic Web
+.SH SYNOPSIS
+.B FaCT++.Server
+.RI unknown options
+.br
+.B FaCT++
+.RI <configuration file>
+.br
+.B FaCT
+.RI -get-default-options
+.SH DESCRIPTION
+FaCT++ is a reasoner for description logics that can either be called directly
+or work in the background to be accessed by tools external to this package. The
+default port the server listens to is 3490.
+.PP
+.SH OPTIONS
+.TP
+.B \-v, \-\-version
+Show version of program, since this is the default behaviour for any 
+argument that is not understood.
+.TP
+.B -get-default-options
+Presents all possible configuration settings that could be maintained in a file
+which would be acceptable as a configuration file.
+.SH SEE ALSO
+.BR http://protege.stanford.edu,
+.BR http://code.google.com/p/factplusplus,
+.BR http://owl.man.ac.uk/factplusplus.
+.br
+Sadly, this package is yet devoid of any low-level examples or even tutorials.
+The user is suggested to refer to the tool Protege.
+.SH AUTHOR
+FaCT++ was written by Dmitry Tsarkov <tsarkov at cs.man.ac.uk>.
+.PP
+This manual page was written for the Debian project
+since upstream did not provide a man page with the sources,
+well, as supportive as Dmitry is, I am very confident that 
+a man page will appear in one of his next versions.

Modified: trunk/packages/fact++/trunk/debian/README.Debian
===================================================================
--- trunk/packages/fact++/trunk/debian/README.Debian	2007-06-30 20:31:43 UTC (rev 349)
+++ trunk/packages/fact++/trunk/debian/README.Debian	2007-06-30 21:10:15 UTC (rev 350)
@@ -1,15 +1,30 @@
 fact++ for Debian
 -----------------
 
+= General
 The distribution of Fact++ has the full support of the main developer
 Dmitry Tsarkov <tsarkov at cs.man.ac.uk> and his colleague and partial
 co-copyright holder Matthew Horridge. The source distributes and
 earlier version of a project hat is now found as the BuDDy project at
 sourceforge.net
 
+= Comments on decisions with respect to packaging
+
 Once this package is known to be fully functional, the BuDDy code is
-targeted to be removed from the source.
+targeted to be removed from the source. Well, maybe we are close to
+have reached that state:
 
+ * Pizza ontology was checked from within Protege (protege.sf.net)
+ * Daemon starts upon installation of package
+
+The daemon is in /usr/bin, not in /usr/sbin, since regular users are
+expected to start the binary themselves in routine. The daemons runs
+as user nobody and group nogroup. However, with it being accessible
+also from the outside, some unforseen consequences seem not unlikely.
+That port shall better be blocked.
+
+Please let comments fly in with your successes or problems.
+
 Steffen
 
  -- Steffen Moeller <steffen_moeller at gmx.de>  Sat, 23 Jun 2007 21:28:37 +0200