deps fixed

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 395ede8758f370652694f1ed18f482c1143b8710..886f7d58ddac68ded069d67d3a461ac30f89969b 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -392,7 +392,7 @@ TAGS:
        
 depend: 
        $(H)echo "  OCAMLDEP"
-       $(H)$(OCAMLDEP)  > .depend
+       $(H)$(OCAMLDEP) *.ml *.mli > .depend
 depend.opt: 
        $(H)echo "  OCAMLDEP -native"
        $(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt