]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile
- new attributes system
[helm.git] / helm / software / helena / Makefile
index 690c8c93532643abe8878f7ffa13160e65bbbf85..48e34b90fbf7429469cdee88ca0da753891d4779 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 = ../../www/lambdadelta
 
 INPUT = examples/grundlagen/grundlagen_2.aut