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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e94664e1dfca03ff9414477968a9f6d12004d266
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Mar 14 18:39:05 2012 +0100

    build and install the debcheck primer

diff --git a/debian/changelog b/debian/changelog
index 96bceee..d2f74c9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -10,6 +10,10 @@ dose3 (2.9.13-2) UNRELEASED; urgency=low
   * Standards-Version 3.9.3
     - debian/copyright: machine readable format 1.0
   * package libdose3-ocaml: only install files dll*stubs.so
+  * build and install the debcheck primer:
+    - debian/control: add build-dependency on hevea
+    - debian/rules: compile the primer
+    - add debian/dose-distchecks.{docs, doc-base}
   * Add debian/dose-distcheck.NEWS, tell about changed output format
     and exit codes.
 
diff --git a/debian/control b/debian/control
index 58e3afb..e194a71 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~),
  libocamlgraph-ocaml-dev,
  libcudf-ocaml-dev (>= 0.6.2),
  libzip-ocaml-dev, libbz2-ocaml-dev, librpm-dev (>= 4.8),
- perl, graphviz
+ perl, graphviz, hevea
 Standards-Version: 3.9.3
 Homepage: http://www.mancoosi.org/software/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/dose3.git
diff --git a/debian/dose-distcheck.doc-base b/debian/dose-distcheck.doc-base
new file mode 100644
index 0000000..9572c0d
--- /dev/null
+++ b/debian/dose-distcheck.doc-base
@@ -0,0 +1,10 @@
+Document: debcheck-primer
+Title: The dose-debcheck Primer
+Author: Pietro Abate and Ralf Treinen
+Abstract: This document describes how to use dose-debcheck to check 
+ installability of Debian packages according to their meta-data.
+Section: Debian
+
+Format: HTML
+Index: /usr/share/doc/dose-distcheck/debcheck.html
+Files: /usr/share/doc/dose-distcheck/debcheck.html
diff --git a/debian/dose-distcheck.docs b/debian/dose-distcheck.docs
new file mode 100644
index 0000000..aedaec6
--- /dev/null
+++ b/debian/dose-distcheck.docs
@@ -0,0 +1 @@
+doc/debcheck/debcheck.html
diff --git a/debian/rules b/debian/rules
index 3eae07c..e815bbe 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,7 +28,8 @@ override_dh_installman:
 
 override_dh_auto_build:
 	dh_auto_build
-	make doc
+	$(MAKE) doc
+	cd doc/debcheck && $(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