X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fconfigure.in;h=03c923e9d4d89a9ec7f5231a288094db40e67cc2;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=d5de3e656aa17030cace50e77474dedf0e4fcb8d;hpb=088c64751826270f01d66d5ddca1897fc83d13a9;p=helm.git

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index d5de3e656..03c923e9d 100644
--- a/helm/configuration/configure.in
+++ b/helm/configuration/configure.in
@@ -6,6 +6,7 @@ HELM_MAJOR_VERSION=0
 HELM_MINOR_VERSION=0
 HELM_MICRO_VERSION=2
 HELM_VERSION=$HELM_MAJOR_VERSION.$HELM_MINOR_VERSION.$HELM_MICRO_VERSION
+VERSION=$HELM_VERSION
 
 DEFAULT_HELM_VAR_DIR=/var/local/helm
 DEFAULT_HELM_TMP_DIR=/tmp
@@ -131,7 +132,7 @@ HELM_FONT_CONFIGURATION_PATH=$HELM_ETC_DIR/helm-font-configuration.xml
 dnl Only for HELM XML configuration
 HELM_LIBRARY_DIR=$HELM_VAR_DIR/library
 HELM_SERVERS_FILE=$HELM_VAR_DIR/servers.txt
-HELM_URIS_DBM=$HELM_VAR_DIR/urls_of_uris
+HELM_URIS_DBM=$HELM_VAR_DIR/urls_of_uris.db
 
 dnl CSC: FIXME: getters should download the DTDs
 HELM_DTD_DIR=$HELM_SHARE_DIR/dtd
@@ -143,7 +144,7 @@ AC_SUBST(RESOLVED_EXEC_PREFIX)
 
 dnl HELM version
 AC_SUBST(PACKAGE)
-AC_SUBST(HELM_VERSION)
+AC_SUBST(VERSION)
 
 dnl HELM directories
 AC_SUBST(HELM_BIN_DIR)