[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-11-23-gf5850e5

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e639b82b50743e04cb62ecdde103db47ea33f30d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 22:05:00 2011 +0100

    put distcheck in the right location

diff --git a/debian/rules b/debian/rules
index 809387f..5a4526e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -26,10 +26,12 @@ endif
 override_dh_auto_install:
 ifeq ($(OPT),true)
 	cp pkglab.opt debian/pkglab/usr/bin/pkglab
-	cp distcheck/distcheck.opt debian/edos-distcheck/usr/bin/distcheck
+	cp distcheck/distcheck.opt\
+		debian/edos-distcheck/usr/lib/edos-distcheck/distcheck
 else
 	cp pkglab debian/pkglab/usr/bin
-	cp distcheck/distcheck debian/edos-distcheck/usr/bin
+	cp distcheck/distcheck\
+		debian/edos-distcheck/usr/lib/edos-distcheck/distcheck
 endif
 
 override_dh_strip:

-- 
pkglab packaging