From 2378743c683840a9d34ca86762a993e6fe6cedfb Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 6 Feb 2001 11:02:04 +0000
Subject: [PATCH] bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR

---
 helm/configuration/etc/configuration.xml.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2