X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Fmakefile;h=f20e608d86dd3624994ffa6ba268db62d3c80bf3;hb=eefb7b4c9f5c4c531199c95e4bb72d8b8c88bc2e;hp=2ddabe56cc35fc9c4fb941a41b03ac0850423054;hpb=53a3e38fa1647ac5c41c07648bbf5289840afc7e;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
index 2ddabe56c..f20e608d8 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile
@@ -45,7 +45,7 @@ MATITAC = $(RT_BASEDIR)/matitac.opt
 MMAS = $(shell find -name "*.mma")
 MAS = $(MMAS:%.mma=%.ma)
 
-build_mas: preall.opt theory.ma
+build_mas: preall.opt $(MAS)
 
 clean_mas:
 	$(H)rm -f $(MAS)