From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 08:58:06 +0000 (+0000)
Subject: bug fixed
X-Git-Tag: nogzip~54
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=74b8c814508827292e342d30d8acb9ecec5f1000;p=helm.git

bug fixed
---

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index 45d7d6431..7d350700d 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -102,13 +102,13 @@ fi
 AC_CACHE_SAVE
 
 
-CONFIGURATION_HELM_DIR=$HELM_LIBRARY_PREFIX/library
+CONFIGURATION_HELM_DIR=$HELM_LIBRARY_DIR/library
 
 dnl CSC: ERROR: getters should download the DTDs
 CONFIGURATION_DTD_DIR=$HELM_SHARE_DIR/dtd
 
-CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_PREFIX/servers.txt
-CONFIGURATION_URIS_DBM=$HELM_LIBRARY_PREFIX/urls_of_uris
+CONFIGURATION_SERVERS_FILE=$HELM_LIBRARY_DIR/servers.txt
+CONFIGURATION_URIS_DBM=$HELM_LIBRARY_DIR/urls_of_uris
 
 AC_MSG_CHECKING("for the tmp dir")
 RES=""