X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;fp=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=624f1644f31889e24c271d3bda78d6fc1f46b2c4;hb=7ab0c11985ab4caf44ef42e01c4eb0b5bde77913;hp=a85b99978ee2ec6c0bf92316bb2bddeda7de3222;hpb=1c88d7da901c53b47c8a320e639c797665e737a8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index a85b99978..624f1644f 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -91,7 +91,7 @@ i_mathml_editor.cmo: i_mathml_editor.ml
 i_mathml_editor.cmx: i_mathml_editor.ml
 	$(OCAMLOPT) -c $<
 
-depend: *.ml *.mli
-	$(OCAMLDEP) *.ml *.mli >.depend
+depend: *.ml
+	$(OCAMLDEP) *.ml >.depend
 include .depend