]> matita.cs.unibo.it Git - helm.git/commitdiff
added fix for marangon
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jan 2006 16:28:05 +0000 (16:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jan 2006 16:28:05 +0000 (16:28 +0000)
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) \