]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile
- dehypenation involves helena as well
[helm.git] / helm / software / helena / Makefile
index 9070d13c43eeb3297b3011a3a1f5703e33a13653..9c1df551ff8cb2ee8665bec072b592979b073c50 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