[Pkg-ocaml-maint-commits] [SCM] hlins packaging branch, master, updated. debian/0.39-16-17-g8cb6022

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c856fd4e7a7cb0f7e012549c12bf28ea7f75a30d
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Feb 14 20:56:49 2011 +0100

    set destdir in installation target

diff --git a/debian/rules b/debian/rules
index 52f5349..1334982 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,4 +12,4 @@ override_dh_auto_build:
 	$(MAKE) all.bc
 
 override_dh_auto_install:
-	$(MAKE) install.bc
+	$(MAKE) install.bc DESTDIR=$(DEB_DESTDIR)

-- 
hlins packaging