From 6f6b8f33397548319fef9b374f9e9017e7fa151d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 13 Mar 2003 15:10:52 +0000 Subject: [PATCH] debian release 0.0.4-2: - installs also i_gdome_xslt.cmi --- helm/DEVEL/gdome_xslt/debian/changelog | 6 ++++++ helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) 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) -- 2.39.2