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

[Ralf Treinen]

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

    rename builddebcheck binary

diff --git a/debian/dose3-builddebcheck.install b/debian/dose3-builddebcheck.install
index 03536c4..eeb5bb9 100644
--- a/debian/dose3-builddebcheck.install
+++ b/debian/dose3-builddebcheck.install
@@ -1 +1 @@
-usr/bin/buildcheck
+usr/bin/dose3-builddebcheck
diff --git a/debian/rules b/debian/rules
index 6121956..9ba8cad 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,7 +9,9 @@ override_dh_auto_configure:
 
 override_dh_auto_install:
 	dh_auto_install
-	cd debian/tmp/usr/bin && mv distcheck dose3-distcheck
+	cd debian/tmp/usr/bin \
+		&& mv distcheck dose3-distcheck \
+		&& mv buildcheck dose3-builddebcheck
 
 override_dh_installman:
 	dh_installman

-- 
dose3 packaging