The following commit has been merged in the master branch:
commit 305f97ed5dd80dd611e606ca0260a8d3ffb1ff85
Author: Stephane Glondu <st...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to