From: Stefano Zacchiroli Date: Sat, 8 Sep 2007 09:39:10 +0000 (+0000) Subject: add stdlib/gdome2 to the include dir for ocamldoc X-Git-Tag: make_still_working~6057 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9bb89c889d0acab3356597f424cec9d9fc747525;p=helm.git add stdlib/gdome2 to the include dir for ocamldoc --- diff --git a/helm/software/DEVEL/gdome_xslt/debian/rules b/helm/software/DEVEL/gdome_xslt/debian/rules index 8c4f4e747..d5733cb7e 100755 --- a/helm/software/DEVEL/gdome_xslt/debian/rules +++ b/helm/software/DEVEL/gdome_xslt/debian/rules @@ -3,3 +3,4 @@ include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/autotools.mk include /usr/share/cdbs/1/class/ocaml.mk OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES) +OCAML_OCAMLDOC_FLAGS = -I $(OCAML_STDLIB_DIR)/gdome2