bug fixed

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index 45d7d6431f41d62df2b72a7f569f3cf0994b1c1e..7d350700d79d9dd7ccb7351aa28a50bdb84a364d 100644 (file)
--- 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=""