X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FMakefile;h=f943608eaf55d35df5cdfe9774f812a52a1794a5;hb=cb063199a8fa9d492fec1df64ddcad4503f0c9ee;hp=9070d13c43eeb3297b3011a3a1f5703e33a13653;hpb=eadeb433386822aac6862c76ba73957c07a99098;p=helm.git

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index 9070d13c4..f943608ea 100644
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -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