From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 5 Jul 2005 09:10:51 +0000 (+0000)
Subject: re-added $(H) to matitaclean
X-Git-Tag: V_0_7_1~97
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=666400852c5eef4e438bf5332dbf0cf03286359c;p=helm.git

re-added $(H) to matitaclean
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 60484cd78..1e9dde304 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -32,7 +32,7 @@ verboseopt:
 
 clean: $(LINKS)
 	$(H)rm -f $(SRC:%.ma=%.moo)
-	$(MATITACLEAN) $(SRC)
+	$(H)$(MATITACLEAN) $(SRC)
 
 cleanall: $(LINKS)
 	$(H)rm -f $(SRC:%.ma=%.moo)
diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 60484cd78..1e9dde304 100644
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -32,7 +32,7 @@ verboseopt:
 
 clean: $(LINKS)
 	$(H)rm -f $(SRC:%.ma=%.moo)
-	$(MATITACLEAN) $(SRC)
+	$(H)$(MATITACLEAN) $(SRC)
 
 cleanall: $(LINKS)
 	$(H)rm -f $(SRC:%.ma=%.moo)