X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=42cf1c1817281cb2701a31a36db564b751921087;hb=802e118337ebd0f8b732d4939973aae6415b5bec;hp=4e1e3ca66d0c9eeb3ceb58c04a66b4f630293d06;hpb=a961a1237063702ed9c32a9a4b7994671cb40818;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 4e1e3ca66..42cf1c181 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -8,10 +8,11 @@ include ../Makefile.common
 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
 
 OBJS = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con\
-       cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con
+       cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con\
+       cic:/matita/lambdadelta/basic_1/pr0/defs/pr0.ind
 
 test:
-	@echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%.con=%)
+	@echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%=%)
 	$(H)./matex.native -O test -t -p $(REGISTRY) $(OBJS)
 
 .PHONY: test