initial support for LaTeX-defined notatopn

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

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index e177cc077967d375ca860953520d491300444665..c9a7b58ed7155b1a640dde8451431c23e79325ee 100644 (file)
--- 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