X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=cd6bcea179351ebe5bdb3b7229d44ece14bc6ad1;hb=09b4420070d6a71990e16211e499b51dbb0742cb;hp=9de41db0c3f3f4fad5cc8c03a7e726c538f3ad24;hpb=bba53a83579540bc3925d47d679e2aad22e85755;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9de41db0c..cd6bcea17 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -91,9 +91,12 @@ orig: $(ORIGS)
 
 # dep input ##################################################################
 
-$(DEP_INPUT): $(MAS)
+$(DEP_INPUT): LINE = $(MAS:%=%:include \"\".)
+
+$(DEP_INPUT): $(MAS) Makefile
 	@echo "  GREP include"
 	$(H)grep "include \"" $^ > $(DEP_INPUT)
+	$(H)echo "$(LINE)" | sed -e 's/\"\. /\"\.\n/g' >> $(DEP_INPUT) 
 
 # dep ########################################################################