]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
added fix for marangon
[helm.git] / helm / ocaml / Makefile.in
index 71ee64086459e600554f072c37bc070ba3fa02c4..337dd0ca0910cf5b64375d543442f315be7e96a6 100644 (file)
@@ -43,7 +43,7 @@ metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: $(MODULES:%=%.clean) clean_metas
 
 .stats: $(MODULES:%=%.stats)
        (for m in $(MODULES); do echo -n "$$m:"; cat $$m/.stats; done) \