From: Stefano Zacchiroli Date: Sat, 8 Sep 2007 10:04:55 +0000 (+0000) Subject: * debian/rules X-Git-Tag: make_still_working~6049 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c204952360cbae6d46b995aa460a57e53026e589;p=helm.git * debian/rules - add additional flags for ocamldoc using "+=" instead of "=" ... --- diff --git a/helm/software/DEVEL/gdome_xslt/debian/changelog b/helm/software/DEVEL/gdome_xslt/debian/changelog index 644356a6f..0bd61ebeb 100644 --- a/helm/software/DEVEL/gdome_xslt/debian/changelog +++ b/helm/software/DEVEL/gdome_xslt/debian/changelog @@ -1,8 +1,9 @@ gdome2-xslt (0.0.8-2) UNRELEASED; urgency=low - * NOT RELEASED YET + * debian/rules + - add additional flags for ocamldoc using "+=" instead of "=" ... - -- Stefano Zacchiroli Sat, 08 Sep 2007 11:49:23 +0200 + -- Stefano Zacchiroli Sat, 08 Sep 2007 12:03:47 +0200 gdome2-xslt (0.0.8-1) unstable; urgency=low diff --git a/helm/software/DEVEL/gdome_xslt/debian/rules b/helm/software/DEVEL/gdome_xslt/debian/rules index d5733cb7e..ff560bb53 100755 --- a/helm/software/DEVEL/gdome_xslt/debian/rules +++ b/helm/software/DEVEL/gdome_xslt/debian/rules @@ -3,4 +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 +OCAML_OCAMLDOC_FLAGS += -I $(OCAML_STDLIB_DIR)/gdome2