[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-1-5-g5a77704

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3895c8726736c5ff7e6a595e81a14ef2ee81df62
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Dec 1 09:31:38 2009 +0100

    Exclude odoc_tdl.cmo from dh_ocaml inspection (Closes: #556838)

diff --git a/debian/rules b/debian/rules
index f55bdb8..fa1f5ac 100755
--- a/debian/rules
+++ b/debian/rules
@@ -74,6 +74,7 @@ DOCBOOK_MANPAGE_EXTRA_SOURCES := $(CURDIR)/debian/xml-man/en/license.xml      \
                                  $(CURDIR)/debian/xml-man/en/refentryinfo.xml
 
 OCAML_OCAMLDOC_PACKAGES_DOCBASE := cameleon-doc
+OCAML_DHOCAML_FLAGS := -Xodoc_tdl.cma
 
 # These cannot be erased by debian/clean mechanisms becore they are touched
 # by upstream `make clean'

-- 
cameleon packaging