- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / Makefile

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index ab7dc1831bd622d3195b2b2204ee7cf0ea009c67..3f7f36d752f6537fb875bca86618ad03e907f58f 100644 (file)
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -14,15 +14,15 @@ TAGS = test-si test-si-fast profile xml-si xml-si-crg matita matitac
 
 include Makefile.common
 
-MATITAC = ../../../claudio/matita/matitac.opt
+MATITAC = ../../../../matita/matita/matitac.opt
 
-MATITA = ../../../claudio/matita/matita.opt
+MATITA = ../../../../matita/matita/matita.opt
 
 XMLDIR = ../../www/lambdadelta
 
-INPUT = examples/grundlagen/grundlagen_2.aut
+INPUT = examples/automath/grundlagen_2.aut
 
-INPUTFAST = examples/grundlagen/grundlagen_1.aut
+INPUTFAST = examples/automath/grundlagen_1.aut
 
 MA = grundlagen_2.ma
 
@@ -52,7 +52,7 @@ xml-si-crg: $(MAIN).opt etc
 
 matita: $(MA)
        @echo "  MATITA $<"
-       $(H)$(MATITA) $<
+       $(H)cd matita && $(MATITA) $<
 
 matitac: $(MA)
        @echo "  MATITAC $<"