From 666400852c5eef4e438bf5332dbf0cf03286359c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 5 Jul 2005 09:10:51 +0000 Subject: [PATCH] re-added $(H) to matitaclean --- helm/matita/library/Makefile | 2 +- helm/matita/tests/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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) -- 2.39.2