]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/Makefile.am
- Some .cvsignore were missing
[helm.git] / helm / DEVEL / mathml_editor / ocaml / Makefile.am
index a85b99978ee2ec6c0bf92316bb2bddeda7de3222..624f1644f31889e24c271d3bda78d6fc1f46b2c4 100644 (file)
@@ -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