X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=5dc025fc3c5edde3b610fb1d65139098bc075ef5;hb=5902d6da146ca78b0ed5d062e3968f52868147c5;hp=15c38d0094d475efeb3213e8d8c31912a2ed1bae;hpb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 15c38d009..5dc025fc3 100644
--- 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)
 
 ##############################################################################