- support fof global alpha-conversion with hyperlinks

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

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index 9212a066206e3175562201bafd832bd0b1ca7012..e177cc077967d375ca860953520d491300444665 100644 (file)
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -10,16 +10,16 @@ REGISTRY = $(RT_BASE_DIR)/matita.conf.xml test/basic_1.conf.xml
 OBJS     = Make.objs
 SRCS     = Make.srcs
 
-BASEURI = cic:/matita/lambdadelta/basic_1/
+DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
 
 test: test/$(SRCS)
 
 test/$(OBJS): $(REGISTRY)
-       @echo probe: $(BASEURI)
-       $(H)$(PROBE) $(REGISTRY) -g $(BASEURI) -os > $@
+       @echo probe: $(DEVEL)
+       $(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
 
 test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
        @echo MaTeX: processing $<
-       $(H)./matex.native -O test -l $(SRCS) -p -a $(REGISTRY) `cat $<`
+       $(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`
 
 .PHONY: test