- installs also i_gdome_xslt.cmi
+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
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)