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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f9e3ffb4384aefca8eeee741883ab847467ff966
Author: Ralf Treinen <treinen at debian.org>
Date:   Sat Dec 4 16:05:42 2010 +0100

    rename manpage after dh_installman

diff --git a/debian/rules b/debian/rules
index 2c65be4..6121956 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,7 +10,10 @@ override_dh_auto_configure:
 override_dh_auto_install:
 	dh_auto_install
 	cd debian/tmp/usr/bin && mv distcheck dose3-distcheck
-	cd debian/tmp/usr/share/man/man1 && \
-		mv distcheck.1 dose3-distcheck.1
+
+override_dh_installman:
+	dh_installman
+	cd debian/dose3-distcheck/usr/share/man/man1 \
+		&& mv distcheck.1 dose3-distcheck.1
 
 

-- 
dose3 packaging