[Pkg-ocaml-maint-commits] [SCM] mlgmp packaging branch, master, updated. debian/20021123-15-2-gb6a86e4

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b6a86e40f68531ba9d65d673894221a981805f33
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Oct 6 01:20:38 2009 +0200

    Fix generation of documentation by dh_ocamldoc

diff --git a/debian/libgmp-ocaml-dev.ocamldoc b/debian/libgmp-ocaml-dev.ocamldoc
index e69de29..1bfdd46 100644
--- a/debian/libgmp-ocaml-dev.ocamldoc
+++ b/debian/libgmp-ocaml-dev.ocamldoc
@@ -0,0 +1 @@
+# This file must not be empty to be represented in .diff.gz!

-- 
mlgmp packaging