From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 19 Jan 2001 11:40:39 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: no-uwobo~19
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0038b00554c410244e938446562daa027762bc73;p=helm.git

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

diff --git a/helm/configuration/helm_configuration.spec.in b/helm/configuration/helm_configuration.spec.in
index 6890c6985..304800115 100644
--- a/helm/configuration/helm_configuration.spec.in
+++ b/helm/configuration/helm_configuration.spec.in
@@ -6,7 +6,7 @@ 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@-1.tar.gz
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@HELM_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
@@ -20,6 +20,7 @@ For more information see http://www.cs.unibo.it/helm
 %build
 cp config.cache.pkg config.cache
 ./configure
+make
 
 %install
 make install