From: Stefano Zacchiroli Date: Fri, 28 Dec 2007 14:46:26 +0000 (+0000) Subject: * debian/rules: instead of passing explicit -I flags to ocamldoc, do them X-Git-Tag: make_still_working~5697 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cc0e6decc9fdb0e70b5ae04089ac57cba3ed17bb;hp=cc0e6decc9fdb0e70b5ae04089ac57cba3ed17bb;p=helm.git * debian/rules: instead of passing explicit -I flags to ocamldoc, do them via ocamlfind and OCAML_OCAMLDOC_OCAMLFIND_FLAGS ---