X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2FMakefile;h=fe3b021c7e5d0130e2a776b439d24ef32614d315;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hp=b19199965be5aa6e99e34c9674a75f7921fcc678;hpb=ea6b4322051d3eb1794bfca3928f6e1773f971ba;p=helm.git

diff --git a/matita/components/binaries/matex/test/Makefile b/matita/components/binaries/matex/test/Makefile
index b19199965..fe3b021c7 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)
+SOURCES = $(shell cat Make) $(shell cat Make.srcs) Makefile
 
 all: $(MAIN).dvi 
 
@@ -36,3 +36,6 @@ $(MAIN).pdf: $(MAIN).ps
 
 $(MAIN).tar: $(MAIN).log
 	$(UNLOG) $< $@
+
+objs.tex:
+	@sed "s/\(.*\).tex/\\\\input{\1}/" Make.srcs > $@