make clean now prints what is being removed

[helm.git] / helm / matita / library / Makefile

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