The following commit has been merged in the master branch:
commit 2f9d69bd015cc7c853d49c473594b4d14e538a81
Author: Ralf Treinen <trei...@free.fr>
Date: Wed Feb 16 20:09:41 2011 +0100
we really need to overwrite auto-install
diff --git a/debian/rules b/debian/rules
index 73b994d..78de8c7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,4 +6,4 @@ override_dh_auto_build:
$(MAKE) byte GODI_LIB=/usr/lib/ocaml/compiler-libs \
# everything is installed by debhelper tools
-# override_dh_auto_install:
+override_dh_auto_install:
--
cmigrep packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
