[gringo] 02/02: Add reify.1 manpage
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Mon Jul 13 07:17:32 UTC 2015
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit e83ed8136db95cd35d77e55800a948505d53fb34
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Mon Jul 13 08:50:22 2015 +0200
Add reify.1 manpage
---
debian/gringo.manpages | 1 +
debian/patches/gringo-manpages.patch | 65 ++++++++++++++++--------------------
2 files changed, 29 insertions(+), 37 deletions(-)
diff --git a/debian/gringo.manpages b/debian/gringo.manpages
index 98267dd..96bcb41 100644
--- a/debian/gringo.manpages
+++ b/debian/gringo.manpages
@@ -1,2 +1,3 @@
gringo.1
clingo.1
+reify.1
diff --git a/debian/patches/gringo-manpages.patch b/debian/patches/gringo-manpages.patch
index b434674..42cc981 100644
--- a/debian/patches/gringo-manpages.patch
+++ b/debian/patches/gringo-manpages.patch
@@ -1,10 +1,10 @@
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
-Description: Add gringo.1, clingo.1, and iclingo.1 manpages.
-Index: gringo-2.0.5-source/clingo.1
+Description: Add gringo.1, clingo.1, and reify.1 manpages.
+Index: gringo-git-gbp/clingo.1
===================================================================
---- /dev/null 1970-01-01 00:00:00.000000000 +0000
-+++ gringo-2.0.5-source/clingo.1 2010-05-28 05:44:58.000000000 +0200
-@@ -0,0 +1,55 @@
+--- /dev/null
++++ gringo-git-gbp/clingo.1
+@@ -0,0 +1,54 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
@@ -26,7 +26,7 @@ Index: gringo-2.0.5-source/clingo.1
+clingo \- a combination of clasp and gringo
+.SH SYNOPSIS
+.B clingo
-+.RI [options] [files]
++[\fIOPTION\fR]... \fR[\fIFILE\fR]...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B clingo
@@ -51,20 +51,19 @@ Index: gringo-2.0.5-source/clingo.1
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
-+.BR claspD (1),
+.BR gringo (1),
-+.BR iclingo (1).
++.BR reify (1).
+.br
+.SH AUTHOR
+clingo was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
-Index: gringo-2.0.5-source/gringo.1
+Index: gringo-git-gbp/gringo.1
===================================================================
---- /dev/null 1970-01-01 00:00:00.000000000 +0000
-+++ gringo-2.0.5-source/gringo.1 2010-05-28 05:44:58.000000000 +0200
-@@ -0,0 +1,56 @@
+--- /dev/null
++++ gringo-git-gbp/gringo.1
+@@ -0,0 +1,55 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
@@ -86,7 +85,7 @@ Index: gringo-2.0.5-source/gringo.1
+gringo \- a grounder for non-ground logic programs
+.SH SYNOPSIS
+.B gringo
-+.RI [options] [files]
++[\fIOPTION\fR]... \fR[\fIFILE\fR]...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B gringo
@@ -112,25 +111,24 @@ Index: gringo-2.0.5-source/gringo.1
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
-+.BR claspD (1),
+.BR clingo (1),
-+.BR iclingo (1).
++.BR reify (1).
+.br
+.SH AUTHOR
+gringo was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
-Index: gringo-2.0.5-source/iclingo.1
+Index: gringo-git-gbp/reify.1
===================================================================
---- /dev/null 1970-01-01 00:00:00.000000000 +0000
-+++ gringo-2.0.5-source/iclingo.1 2010-05-28 05:44:58.000000000 +0200
-@@ -0,0 +1,61 @@
+--- /dev/null
++++ gringo-git-gbp/reify.1
+@@ -0,0 +1,54 @@
+.\" 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 ICLINGO 1 "March 4, 2010"
++.TH REIFY 1 "July 13, 2015"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
@@ -144,27 +142,22 @@ Index: gringo-2.0.5-source/iclingo.1
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
-+iclingo \- an incremental ASP system
++reify \- a small utility that reifies logic programs
+.SH SYNOPSIS
-+.B iclingo
-+.RI [options] [files]
++.B reify
++\fR[\fIOPTION\fR]...
+.SH DESCRIPTION
+This manual page documents briefly the
-+.B iclingo
++.B reify
+command.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
-+\fBiclingo\fP is an incremental ASP system implemented on top of
-+clingo. It is based on the idea that the grounder as well as the
-+solver are implemented in a stateful way. Thus, both keep their
-+previous states while increasing an incremental parameter. As regards
-+grounding, at each incremental step, the goal is to produce only
-+ground rules stemming from the current program slice, without
-+re-producing previous ground rules. The ground program slices are then
-+gradually passed to the solver that accumulates ground rules and
-+computes answer sets for them.
++\fBreify\fP is a small utility that reifies logic programs, given on
++standard input in smodels format. The gringo grounder produces
++smodels format by default. The result of reify is a set of facts
++given on standard output that can be processed further with gringo.
+.SH OPTIONS
+These programs follow the usual GNU command line syntax, with long
+options starting with two dashes (`-').
@@ -178,12 +171,10 @@ Index: gringo-2.0.5-source/iclingo.1
+Show version of program.
+.SH SEE ALSO
+.BR clasp (1),
-+.BR claspD (1),
-+.BR clingo (1),
-+.BR gringo (1).
++.BR gringo (1),
+.br
+.SH AUTHOR
-+iclingo was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
++reify was written by Roland Kaminski <kaminski at cs.uni-potsdam.de>
+.PP
+This manual page was written by Thomas Krennwallner <tkren at kr.tuwien.ac.at>,
+for the Debian project (and may be used by others).
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list