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

    fix name of auto_install target

diff --git a/debian/rules b/debian/rules
index 141c255..4121797 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,7 +23,7 @@ else
 endif
 	cd doc && make pkglab.html
 
-overide_dh_auto_install:
+override_dh_auto_install:
 ifeq ($(OPT),true)
 	cp pklab.opt debian/pkglab/usr/bin
 	cp distcheck/distcheck.opt $debian/edos-distcheck/usr/bin

-- 
pkglab packaging