[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-59-g8f4a761

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 1d28621668a140a5a240c7e6363bebb8ae4b5681
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Nov 12 14:36:24 2010 +0100

    install ceve manpage

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

-- 
dose3 packaging