[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit fd4f82b51caa52b5cf90236832234c2d6b9a4e5a
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:25:38 2011 +0200

    start to bring the manpage into form

diff --git a/debian/minisat+.1 b/debian/minisat+.1
index 268bcc8..2b6ad1a 100644
--- a/debian/minisat+.1
+++ b/debian/minisat+.1
@@ -1,12 +1,15 @@
-.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.39.2.
-.TH ERROR! "1" "May 2011" "ERROR! Invalid command line option: --version" "User Commands"
+.TH "minisat+" "1" "May 2011" "Debian"
 .SH NAME
-ERROR! \- manual page for ERROR! Invalid command line option: --version
+minisat+
+
 .SH DESCRIPTION
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-MiniSat+ 1.0, based on MiniSat v1.13  \fB\-\-\fR (C) Niklas Een, Niklas Sorensson, 2005
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-USAGE: minisat+ <input\-file> [<result\-file>] [\-<option> ...]
+MiniSat+ is a solver for Pseudo-Boolean constraints, based on MiniSat.
+
+.SH
+USAGE:
+minisat+ <input\-file> [<result\-file>] [\-<option> ...]
+
+.SH OPTIONS
 .SS "Solver options:"
 .TP
 \fB\-M\fR \fB\-minisat\fR
@@ -74,16 +77,7 @@ Set verbosity level (1 default)
 \fB\-cnf=\fR<file>
 Write SAT problem to a file. Trivial UNSAT => no file written.
 .PP
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-.SH "SEE ALSO"
-The full documentation for
-.B ERROR!
-is maintained as a Texinfo manual.  If the
-.B info
-and
-.B ERROR!
-programs are properly installed at your site, the command
-.IP
-.B info ERROR!
-.PP
-should give you access to the complete manual.
+
+.SH AUTHORS
+ Minisat+ was written by Niklas Een and Niklas Sorensson.
+

-- 
minisat+ packaging