X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fhelm_configuration.spec.in;h=56695c26356c85623858b4b9f2c8dfe928454840;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=3048001155a5bc2cfaec5b3c776efc7b2fe16992;hpb=0038b00554c410244e938446562daa027762bc73;p=helm.git

diff --git a/helm/configuration/helm_configuration.spec.in b/helm/configuration/helm_configuration.spec.in
index 304800115..56695c263 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
@@ -19,7 +19,7 @@ For more information see http://www.cs.unibo.it/helm
 
 %build
 cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install