From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 2 Feb 2001 10:01:01 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: v0_1_2~153
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=f9571148c8066e566a8999b7618292b656917031;p=helm.git

*** empty log message ***
---

diff --git a/helm/configuration/configure.in b/helm/configuration/configure.in
index d5de3e656..9a0f3fb7b 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
@@ -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 304800115..959d48098 100644
--- 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