]> matita.cs.unibo.it Git - helm.git/commitdiff
installs also i_gomde_xslt.mli
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 15:12:08 +0000 (15:12 +0000)
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

index 4b6a51fbd7ca3922b65ebf842bd0cc4bc568c931..0a249eafbc236ffc7f2a5c80719f50b1f592e33c 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) 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)