]> matita.cs.unibo.it Git - helm.git/commitdiff
* debian/rules
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:04:55 +0000 (10:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:04:55 +0000 (10:04 +0000)
  - add additional flags for ocamldoc using "+=" instead of "=" ...

DEVEL/gdome_xslt/debian/changelog
DEVEL/gdome_xslt/debian/rules

index 644356a6fa3bfdf1af7a4fdede4d338a48fa8ab8..0bd61ebeb7eb7310249ab53925e093569549e575 100644 (file)
@@ -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 <zack@debian.org>  Sat, 08 Sep 2007 11:49:23 +0200
+ -- Stefano Zacchiroli <zack@debian.org>  Sat, 08 Sep 2007 12:03:47 +0200
 
 gdome2-xslt (0.0.8-1) unstable; urgency=low
 
index d5733cb7ebc0e7e761db000be5f8726d8628242d..ff560bb53cc2540aa994323148a06ccb5358d0e6 100755 (executable)
@@ -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