re-added $(H) to matitaclean

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

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 60484cd78c5a93be60a7259aadff2be946cd83cf..1e9dde304dc9d227a703ed4c51e2aab6fd7b50b1 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)
-       $(MATITACLEAN) $(SRC)
+       $(H)$(MATITACLEAN) $(SRC)
 
 cleanall: $(LINKS)
        $(H)rm -f $(SRC:%.ma=%.moo)