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