From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 6 Feb 2001 11:02:04 +0000 (+0000)
Subject: bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
X-Git-Tag: v0_1_2~137
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2378743c683840a9d34ca86762a993e6fe6cedfb

bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
---

diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in
index ad4e62aba..b05eced38 100644
--- 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>