From 8da8820a77f2104dd1bf17c01fa77f75ee31c8fb Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 24 Feb 2008 19:29:44 +0000 Subject: [PATCH] $(H) added :) --- helm/software/matita/contribs/LAMBDA-TYPES/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index 601da59af..89f98d24e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -48,7 +48,7 @@ depend.opt: depends: depend.opt %.ma: %.mma - ../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null + $(H)../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends -- 2.39.2