- scope management completed

[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 b19199965be5aa6e99e34c9674a75f7921fcc678..703cbc8fb6ee1d7e6eab2ec04f8471979a081a7a 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)
+SOURCES = $(shell cat Make) matex.sty
 
 all: $(MAIN).dvi