[SCM] minisat+ packaging branch, master, updated. debian/1.0-1-4-g5092861

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5092861a59ff048245c4494d2aee23112f41097d
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 24 20:59:57 2011 +0200

    don't patch files in debian/

diff --git a/debian/minisat+.1 b/debian/minisat+.1
index 05b9ac6..fa5ff93 100644
--- a/debian/minisat+.1
+++ b/debian/minisat+.1
@@ -87,7 +87,9 @@ Turn off ANSI codes in output.
 \fB\-cnf=\fIfile\fR
 Write SAT problem to a file \fIfile\fR. If the input problem is found to be
 trivially unsatisfiable then no file is written.
-.PP
+
+.SH "EXIT CODES"
+If parsing of the input fails then the program exits with exit code 5.
 
 .SH AUTHORS
 Minisat+ was written by Niklas Een and Niklas Sorensson.
diff --git a/debian/patches/exitcode b/debian/patches/exitcode
index c838345..6321a19 100644
--- a/debian/patches/exitcode
+++ b/debian/patches/exitcode
@@ -37,16 +37,3 @@ Index: minisat+/PbParser.C
          }else
              throw msg;
      }
-Index: minisat+/debian/minisat+.1
-===================================================================
---- minisat+.orig/debian/minisat+.1	2011-05-24 20:48:23.000000000 +0200
-+++ minisat+/debian/minisat+.1	2011-05-24 20:50:13.000000000 +0200
-@@ -89,5 +89,8 @@
- trivially unsatisfiable then no file is written.
- .PP
- 
-+.SS "EXIT CODES"
-+If parsing of the input fails then the program exits with exit code 5.
-+
- .SH AUTHORS
- Minisat+ was written by Niklas Een and Niklas Sorensson.

-- 
minisat+ packaging