[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4-1-12-g5a5cb26

[Ralf Treinen]

The following commit has been merged in the master branch:
commit a4f4b9a513c8fa9cd0b6bb0a88541323d7787d23
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 20 08:18:34 2009 +0200

    use dh to create dirs for edos-distcheck

diff --git a/debian/rules b/debian/rules
index 32f9159..dd18752 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,7 +23,6 @@ else
 endif
 
 install/edos-distdcheck::
-	mkdir -p $(DISTCHECK_INST)/usr/bin
 	cd distcheck && make install BINDIR=$(DISTCHECK_INST)/usr/bin
 
 DEB_MAKE_INSTALL_TARGET = \

-- 
pkglab packaging