- some renaming and minor updates

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 15c38d0094d475efeb3213e8d8c31912a2ed1bae..5dc025fc3c5edde3b610fb1d65139098bc075ef5 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -247,7 +247,7 @@ trim: $(TRIMS:%=%.trimmed)
 # contrib ####################################################################
 
 contrib:
-       @echo "  TAR -czf $(CONTRIB).tar.gz root *.ma"
+       @echo "  TAR -czf $(CONTRIB).tar.gz root $(XPACKAGES)"
        $(H)tar -czf $(CONTRIB).tar.gz root $(XMAS)
 
 ##############################################################################