X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2FMakefile.in;h=b4b99eb24fcb4328c33e6df45d012479ae45b7ea;hb=fd372e069bbcaa96dc5b2eef04f341b28850d726;hp=af199d3b5b9b7379d63f7e2c9152a30187413b41;hpb=879797d6505bc39489009d9ae1e2506022bde9e2;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index af199d3b5..b4b99eb24 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -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