From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 31 Jan 2006 16:28:05 +0000 (+0000)
Subject: added fix for marangon
X-Git-Tag: make_still_working~7707
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ac595177011c8fd73c39fb9b5aaf8b130fb03ef3;p=helm.git

added fix for marangon
---

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) \