]> matita.cs.unibo.it Git - helm.git/commitdiff
debian release 0.0.4-2:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:10:52 +0000 (15:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:10:52 +0000 (15:10 +0000)
- installs also i_gdome_xslt.cmi

helm/DEVEL/gdome_xslt/debian/changelog
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

index d1d2e8254f64ff72afbd721a7cec3d4f37131376..53696547da6f2cf404702d9ac7fafb1bb76b5a31 100644 (file)
@@ -1,3 +1,9 @@
+gdome2-xslt (0.0.4-2) unstable; urgency=low
+
+  * Bugfix: installs also i_gdome_xslt.cmi
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 12 Mar 2003 18:28:27 +0100
+
 gdome2-xslt (0.0.4-1) unstable; urgency=low
 
   * New release
index 7a4c5037f490562f6d0b02df1d9784d71f0ea532..4b6a51fbd7ca3922b65ebf842bd0cc4bc568c931 100644 (file)
@@ -57,7 +57,7 @@ $(DLL) $(ARCHIVE).a: $(LO_S)
 
 INCLUDES = $(GDOME_CFLAGS) $(MLGDOME_CFLAGS) -I/usr/include/caml -I$(top_srcdir)/C/gdome_xslt
 
-BYTECODE_STUFF = $(ARCHIVE).cma $(DLL) gdome_xslt.cmi gdome_xslt.mli gdome_xslt_init.cmi gdome_xslt_init.mli gdome_xslt_init.cmo 
+BYTECODE_STUFF = $(ARCHIVE).cma $(DLL) i_gdome_xslt.cmi gdome_xslt.cmi gdome_xslt.mli gdome_xslt_init.cmi gdome_xslt_init.mli gdome_xslt_init.cmo 
 NATIVECODE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a gdome_xslt_init.cmx
 if HAVE_OCAMLOPT_COND
 install-data-local: $(BYTECODE_STUFF) $(NATIVECODE_STUFF)