X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2FMakefile;h=cb19e9a6d290e9797dd69eac37180229341202f0;hb=d03e9fa5ea709a937148a67fc115d894e5990063;hp=00db5d1937a68842b05c7c93e679668b92bee612;hpb=5791ee6b64136ecb0a727e32997b33f4bfab2c31;p=helm.git

diff --git a/matita/components/binaries/matex/test/Makefile b/matita/components/binaries/matex/test/Makefile
index 00db5d193..cb19e9a6d 100644
--- a/matita/components/binaries/matex/test/Makefile
+++ b/matita/components/binaries/matex/test/Makefile
@@ -6,7 +6,7 @@ UNLOG  = ./unlog.pl
 
 MAIN = test
 
-SOURCES = $(shell cat Make) $(shell cat Make.objs)
+SOURCES = $(shell cat Make) $(shell cat Make.srcs)
 
 all: $(MAIN).dvi 
 
@@ -38,4 +38,4 @@ $(MAIN).tar: $(MAIN).log
 	$(UNLOG) $< $@
 
 objs.tex:
-	@sed "s/\(.*\).tex/\\\\input{\1}/" Make.objs > $@
+	@sed "s/\(.*\).tex/\\\\input{\1}/" Make.srcs > $@