bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR

diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in
index ad4e62aba036231a30bd57e13265342b44d05e90..b05eced388be4cea47acd4e8c28efe661d3fbf24 100644 (file)
--- a/helm/configuration/etc/configuration.xml.in
+++ b/helm/configuration/etc/configuration.xml.in
@@ -26,7 +26,7 @@
 <!-- http://cs.unibo.it/helm/.                                         -->
 
 <configuration>
- <helm_dir>@HELM_VAR_DIR@</helm_dir>
+ <helm_dir>@HELM_LIBRARY_DIR@</helm_dir>
 
  <dtd_dir>@HELM_DTD_DIR@</dtd_dir>
  <servers_file>@HELM_SERVERS_FILE@</servers_file>