[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.9.0-4-5-gf53e212

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 305f97ed5dd80dd611e606ca0260a8d3ffb1ff85
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 2 20:13:50 2011 +0200

    Horrible hack in debian/rules to prevent recompilation of doc

diff --git a/debian/rules b/debian/rules
index faf93a5..325c37c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,10 @@ OPT                 = $(shell test -x /usr/bin/ocamlopt && echo true)
 	dh $@ --with tex,ocaml
 
 override_dh_auto_configure:
+# The following line is a horrible hack to prevent triggering recompilation
+# of documentation (there are missing tools on Debian), as consequence of
+# patching configure
+	touch -rdoc/index.htm configure
 	./configure --host=$(DEB_HOST_GNU_TYPE) \
 			--build=$(DEB_BUILD_GNU_TYPE) \
 			--prefix=/usr \

-- 
advi packaging