X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Ftest%2FMakefile;h=fe3b021c7e5d0130e2a776b439d24ef32614d315;hb=0e2836b432e8d1a10262836e160a5dd3cfb82c1e;hp=cb19e9a6d290e9797dd69eac37180229341202f0;hpb=2fa001c86e37c76c840122655cb4ffba8bb30cad;p=helm.git

diff --git a/matita/components/binaries/matex/test/Makefile b/matita/components/binaries/matex/test/Makefile
index cb19e9a6d..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) $(shell cat Make.srcs)
+SOURCES = $(shell cat Make) $(shell cat Make.srcs) Makefile
 
 all: $(MAIN).dvi