]> 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 9070d13c43eeb3297b3011a3a1f5703e33a13653..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/lambda_delta
+XMLDIR  = $(HOME)/svn/helm_stable/www/lambdadelta
 
 INPUT = examples/grundlagen/grundlagen.aut