X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=cd0b51fa2a113de75ed8f5ca584f3cb2a4460c30;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=450d61ab0393d149625e69a3558d8bcb9022eea6;hpb=7ff1d2d20dcbb6fff9cee36686bd08d1e1e3bf91;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index 450d61ab0..cd0b51fa2 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -26,11 +26,11 @@ LO_S = $(O_S:%.o=%.lo)
 SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ -L$(top_builddir)/src/.libs/ -leditex
 BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL) lib$(ARCHIVE).a
 NATIVE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a
-BYTE_INSTALL_STUFF = $(BYTE_STUFF) META
+BYTE_INSTALL_STUFF = $(BYTE_STUFF) META mathml_editor.mli
 NATIVE_INSTALL_STUFF = $(NATIVE_STUFF)
 
 EXTRA_DIST =	\
-	META.in mathml_editor.ml i_mathml_editor.ml	\
+	META.in mathml_editor.ml mathml_editor.mli i_mathml_editor.ml	\
 	c_mathml_editor.h .depend
 
 if HAVE_OCAMLOPT_COND
@@ -69,8 +69,8 @@ $(ARCHIVE).cma: $(CMO_S)
 $(ARCHIVE).cmxa: $(CMX_S)
 	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS)
 
+# use .lo for ocamlmklib
 $(DLL) $(ARCHIVE).a: $(LO_S)
-	# use .lo for ocamlmklib
 	for f in $(LO_S); do	\
 		cp $$f $$f.o;	\
 	done
@@ -92,6 +92,6 @@ i_mathml_editor.cmx: i_mathml_editor.ml
 	$(OCAMLOPT) -c $<
 
 depend: *.ml
-	$(OCAMLDEP) *.ml >.depend
+	$(OCAMLDEP) *.ml *.mli >.depend
 include .depend