- revision of ground_2 and basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9b90b999771b145f9e18838334231824b762a2f0..064c24db90690fd984793c9c88a7b922f0963174 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -41,7 +41,8 @@ LDWS := $(shell find -name "*.ldw.xml")
 TBLS := $(shell find -name "*.tbl")
 
 all:
-       ../../matitac.opt
+       @echo "  MATITAC $(PACKAGES)"
+       $(H)../../matitac.opt $(PACKAGES)
 
 # MAS ########################################################################