]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/etc/configuration.xml.in
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / configuration / etc / configuration.xml.in
index b05eced388be4cea47acd4e8c28efe661d3fbf24..ad4e62aba036231a30bd57e13265342b44d05e90 100644 (file)
@@ -26,7 +26,7 @@
 <!-- http://cs.unibo.it/helm/.                                         -->
 
 <configuration>
- <helm_dir>@HELM_LIBRARY_DIR@</helm_dir>
+ <helm_dir>@HELM_VAR_DIR@</helm_dir>
 
  <dtd_dir>@HELM_DTD_DIR@</dtd_dir>
  <servers_file>@HELM_SERVERS_FILE@</servers_file>