From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Nov 2007 09:26:34 +0000 (+0000)
Subject: make target for cleaning rottened files
X-Git-Tag: make_still_working~5771
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27f7b37455b0c1320f245dfb5ce698b105449ab0;p=helm.git

make target for cleaning rottened files
---

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index a72357809..97a34f70d 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -144,6 +144,8 @@ rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 rottener.opt: rottener.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 	$(H)echo "  OCAMLOPT $<"
 	$(H)$(OCAMLOPT) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMXS) $(MAINCMXS) rottener.ml
+clean-rottened:
+	find . -type f -name "*.rottened.*.ma" -exec rm {} \;
 
 matitatop: matitatop.ml $(CLIB_DEPS) $(CCMOS)
 	$(H)echo "  OCAMLC $<"