X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=c9a7b58ed7155b1a640dde8451431c23e79325ee;hb=348f1670b30f52db99187b2e92b45348e18ebbbe;hp=e177cc077967d375ca860953520d491300444665;hpb=d03e9fa5ea709a937148a67fc115d894e5990063;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index e177cc077..c9a7b58ed 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -6,7 +6,8 @@ REQUIRES = helm-ng_library
 include ../Makefile.common
 
 PROBE    = ../probe/probe.native
-REGISTRY = $(RT_BASE_DIR)/matita.conf.xml test/basic_1.conf.xml
+REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
+           test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
 OBJS     = Make.objs
 SRCS     = Make.srcs