[SCM] Debian packaging for the lrslib vertex enumeration package branch, master, updated. 08143926a8c76346ae9308746e390c53d21da63a

[David Bremner]

The following commit has been merged in the master branch:
commit b1da0a5818e1650b86c08121dacc2149ac03099b
Author: David Bremner <bremner at unb.ca>
Date:   Tue Sep 1 09:22:12 2009 -0300

    add brief description of lrsbuffer and redund

diff --git a/debian/lrslib.1.xml b/debian/lrslib.1.xml
index 5561be3..bae2215 100644
--- a/debian/lrslib.1.xml
+++ b/debian/lrslib.1.xml
@@ -18,6 +18,10 @@
   <command>lrs input.ine</command>    
 </cmdsynopsis>
 <cmdsynopsis>
+  <command>lrs input.ine | lrsbuffer</command>    
+</cmdsynopsis>
+
+<cmdsynopsis>
   <command>redund input.ine</command>
 </cmdsynopsis>
 
@@ -39,7 +43,9 @@
   &nbsp; contains a more detailed introduction to the problem, along
   with many useful tips for the new user.
 </para>
-
+<para>
+  <emph>lrsbuffer</emph> can remove some duplicate output
+  <emph>redund</emph> finds redundant inequalities in the input.
 </refsect1>
 
 <refsect1 id='files'><title>File Formats</title>

-- 
Debian packaging for the lrslib vertex enumeration package