]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile
bugfix in uri's: missing "/" added to baseuri's where necessary
[helm.git] / helm / software / helena / Makefile
index 9c1df551ff8cb2ee8665bec072b592979b073c50..f943608eaf55d35df5cdfe9774f812a52a1794a5 100644 (file)
@@ -14,7 +14,7 @@ TAGS = test-si test-si-fast profile xml-si xml-si-crg
 
 include Makefile.common
 
-XMLDIR  = $(HOME)/svn/helm-stable/www/lambdadelta
+XMLDIR  = $(HOME)/svn/helm_stable/www/lambdadelta
 
 INPUT = examples/grundlagen/grundlagen.aut