- degree-based equivalene for terms

[helm.git] / matita / matita / contribs / lambdadelta / Makefile

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9de41db0c3f3f4fad5cc8c03a7e726c538f3ad24..cd6bcea179351ebe5bdb3b7229d44ece14bc6ad1 100644 (file)
--- 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 ########################################################################