X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FMakefile;h=89f98d24ebcd9e0c5087362b8b53e5709c6d753d;hb=8da8820a77f2104dd1bf17c01fa77f75ee31c8fb;hp=601da59af9bd7a19b121168e4809285781de0e9b;hpb=6b0d25ba11c8c989674e0d9092fd79dc56b8b1c0;p=helm.git

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