[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-14-g572421b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 572421b16467af65f4dd1a26e2aec3b95e8eb29d
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 16:19:24 2011 +0200

    fix nroff error

diff --git a/debian/minisat+.1 b/debian/minisat+.1
index 43f7e8a..05b9ac6 100644
--- a/debian/minisat+.1
+++ b/debian/minisat+.1
@@ -4,7 +4,7 @@ minisat+ \- A Solver for Pseudo-Boolean Constraints
 
 .SH SYNOPSIS
 .B minisat+
-.R  <input\-file> [<result\-file>] [<option> ...]
+<input\-file> [<result\-file>] [<option> ...]
 
 .SH DESCRIPTION
 MiniSat+ is a solver for Pseudo-Boolean constraints, based on MiniSat.

-- 
minisat+ packaging