]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
clean now also performs clean_metas (since make also creates the metas)
[helm.git] / helm / ocaml / Makefile.in
index af199d3b5b9b7379d63f7e2c9152a30187413b41..b4b99eb24fcb4328c33e6df45d012479ae45b7ea 100644 (file)
@@ -37,7 +37,7 @@ metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: clean_metas $(MODULES:%=%.clean)
 clean_metas:
        rm -f $(METAS)
 distclean: clean clean_metas