[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 8d131e3ad63716c23319ca3a49f12631706c083d
Author: Ralf Treinen <treinen at debian.org>
Date:   Sat Dec 4 15:55:02 2010 +0100

    rename in the right directory

diff --git a/debian/rules b/debian/rules
index 991fbe6..00660d7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,8 @@ override_dh_auto_configure:
 
 ovverride_dh_auto_install:
 	dh_auto_install
-	cd debian/tmp/dose3-distcheck/usr/bin && mv distcheck dose3-distcheck
+	cd debian/dose3-distcheck/usr/bin && mv distcheck dose3-distcheck
+	cd debian/dose3-distcheck/usr/share/man/man1 && \
+		mv distcheck.1 dose3-distcheck.1
 
 

-- 
dose3 packaging