*** empty log message ***

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index d5de3e656aa17030cace50e77474dedf0e4fcb8d..9a0f3fb7bede4d1d9acb216a486b9d5def2a3255 100644 (file)
--- 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
@@ -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)

diff --git a/helm/configuration/helm_configuration.spec.in b/helm/configuration/helm_configuration.spec.in
index 3048001155a5bc2cfaec5b3c776efc7b2fe16992..959d48098dc4f18bdd863c52486a39288e57e853 100644 (file)
--- a/helm/configuration/helm_configuration.spec.in
+++ b/helm/configuration/helm_configuration.spec.in
@@ -1,12 +1,12 @@
 Summary: The configuration files shared by all the tools of project HELM
 Name: @PACKAGE@
-Version: @HELM_VERSION@
+Version: @VERSION@
 Release: 1
 Copyright: GPL
 URL: http://www.cs.unibo.it/helm
 Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
 Group: Applications/Publishing
-Source: www.cs.unibo.it:/helm/@PACKAGE@-@HELM_VERSION@.tar.gz
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
 %description
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
 at the creation of tools for the development and exploitation of a huge