From: Stefano Zacchiroli Date: Thu, 13 Mar 2003 15:12:08 +0000 (+0000) Subject: installs also i_gomde_xslt.mli X-Git-Tag: before_refactoring~123 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=b12bb27f927ba6144ad36b4ae09ce757b92dbb7a installs also i_gomde_xslt.mli --- diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am index 4b6a51fbd..0a249eafb 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) i_gdome_xslt.cmi 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 i_gdome_xslt.mli 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)