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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f339b34b616d0036cf02f275ef68a7b370cf6c8a
Author: Ralf Treinen <treinen at debian.org>
Date:   Thu Jan 19 12:42:51 2012 +0100

    install coinst manpage

diff --git a/debian/coinst.manpages b/debian/coinst.manpages
new file mode 100644
index 0000000..2d4885e
--- /dev/null
+++ b/debian/coinst.manpages
@@ -0,0 +1 @@
+debian/manpages/coinst.1

-- 
coinst packaging