From: Stefano Zacchiroli Date: Thu, 13 Mar 2003 15:10:52 +0000 (+0000) Subject: debian release 0.0.4-2: X-Git-Tag: V_0_0_4_2~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6f6b8f33397548319fef9b374f9e9017e7fa151d;p=helm.git debian release 0.0.4-2: - installs also i_gdome_xslt.cmi --- diff --git a/helm/DEVEL/gdome_xslt/debian/changelog b/helm/DEVEL/gdome_xslt/debian/changelog index d1d2e8254..53696547d 100644 --- a/helm/DEVEL/gdome_xslt/debian/changelog +++ b/helm/DEVEL/gdome_xslt/debian/changelog @@ -1,3 +1,9 @@ +gdome2-xslt (0.0.4-2) unstable; urgency=low + + * Bugfix: installs also i_gdome_xslt.cmi + + -- Stefano Zacchiroli Wed, 12 Mar 2003 18:28:27 +0100 + gdome2-xslt (0.0.4-1) unstable; urgency=low * New release diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am index 7a4c5037f..4b6a51fbd 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am +++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am @@ -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)