[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.13-1-17-g7dad34b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 1c1ed5c412bd14b24325dbbcf45db0c4546686f8
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Mar 16 13:17:01 2012 +0100

    doc: debcheck is now debcheck-primer

diff --git a/debian/dose-distcheck.doc-base b/debian/dose-distcheck.doc-base
index 9572c0d..0e2ed21 100644
--- a/debian/dose-distcheck.doc-base
+++ b/debian/dose-distcheck.doc-base
@@ -6,5 +6,5 @@ Abstract: This document describes how to use dose-debcheck to check
 Section: Debian
 
 Format: HTML
-Index: /usr/share/doc/dose-distcheck/debcheck.html
-Files: /usr/share/doc/dose-distcheck/debcheck.html
+Index: /usr/share/doc/dose-distcheck/debcheck-primer.html
+Files: /usr/share/doc/dose-distcheck/debcheck-primer.html
diff --git a/debian/dose-distcheck.docs b/debian/dose-distcheck.docs
index aedaec6..3243c4c 100644
--- a/debian/dose-distcheck.docs
+++ b/debian/dose-distcheck.docs
@@ -1 +1 @@
-doc/debcheck/debcheck.html
+doc/debcheck-primer/debcheck-primer.html
diff --git a/debian/rules b/debian/rules
index e815bbe..1586968 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,7 +29,7 @@ override_dh_installman:
 override_dh_auto_build:
 	dh_auto_build
 	$(MAKE) doc
-	cd doc/debcheck && $(MAKE) 
+	cd doc/debcheck-primer && $(MAKE) 
 	pod2man --section 8 \
 	  --release "apt-cudf $(shell dpkg-parsechangelog | grep ^Version: | cut -f 2 -d' ')" \
 	  debian/update-cudf-solvers > debian/update-cudf-solvers.8

-- 
dose3 packaging