- matex: notational macros for 0-ary constants

[helm.git] / matita / components / binaries / matex / test / Makefile

diff --git a/matita/components/binaries/matex/test/Makefile b/matita/components/binaries/matex/test/Makefile
index 00db5d1937a68842b05c7c93e679668b92bee612..fe3b021c7e5d0130e2a776b439d24ef32614d315 100644 (file)
--- 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) Makefile
 
 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 > $@