[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 14a9e6516c88438e34a6261939634258ca34d9b3
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 13:14:00 2011 +0100

    fix nameof pkglab binary

diff --git a/debian/rules b/debian/rules
index 4121797..ebe051b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -25,10 +25,10 @@ endif
 
 override_dh_auto_install:
 ifeq ($(OPT),true)
-	cp pklab.opt debian/pkglab/usr/bin
+	cp pkglab.opt debian/pkglab/usr/bin
 	cp distcheck/distcheck.opt $debian/edos-distcheck/usr/bin
 else
-	cp pklab debian/pkglab/usr/bin
+	cp pkglab debian/pkglab/usr/bin
 	cp distcheck/distcheck $debian/edos-distcheck/usr/bin
 endif
 

-- 
pkglab packaging