X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;h=337dd0ca0910cf5b64375d543442f315be7e96a6;hb=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;hp=71ee64086459e600554f072c37bc070ba3fa02c4;hpb=1a27eb4bc1f777584f294f38ac3ef8c1e3c135a3;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 71ee64086..337dd0ca0 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -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) \