[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-43-g9665efa

[Ralf Treinen]

The following commit has been merged in the master branch:
commit d25e02281aff1d449918f10f8d8fe4c95cdd2d6d
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jan 19 20:53:26 2012 +0100

    fix some last typos

diff --git a/debian/manpages/coinst.1 b/debian/manpages/coinst.1
index 14ced78..b57e91d 100644
--- a/debian/manpages/coinst.1
+++ b/debian/manpages/coinst.1
@@ -110,7 +110,7 @@ Coinst has been written by Jérome Vouillôn.  This manpage has been
 compiled by Ralf Treinen from the original coinst documentation.
 
 .SH SEE ALSO
-.BR dot (1), dotty(1), coinst_viewer (1)
+.BR dot (1), dotty (1), coinst_viewer (1)
 .br
 .I http://coinst.irill.org
 .br
diff --git a/debian/manpages/coinst_viewer.1 b/debian/manpages/coinst_viewer.1
index b81f268..b99a381 100644
--- a/debian/manpages/coinst_viewer.1
+++ b/debian/manpages/coinst_viewer.1
@@ -1,7 +1,7 @@
 .TH COINST_VIEWER 1
 
 .SH NAME
-Coinst_viewer \- view co-installability kernel generated by coinst
+Coinst_viewer \- view co-installability kernel generated by coinst for X
 
 .SH SYNOPSIS
 .B coinst_viewer \fIfile\fR.dot
@@ -11,15 +11,12 @@ Coinst_viewer \- view co-installability kernel generated by coinst
 reads the graph of a co-installability produced with coinst and 
 then layouted with dot, and displays it.
 
-.SH EXAMPLE
-
-
 .SH AUTHOR
 Coinst_viewer has been written by Jérome Vouillôn.  This manpage has been
 compiled by Ralf Treinen from the original coinst documentation.
 
 .SH SEE ALSO
-.BR dot (1), coinst (1)
+.BR dot (1), coinst(1)
 .br
 .I http://coinst.irill.org
 

-- 
coinst packaging