]> matita.cs.unibo.it Git - helm.git/commitdiff
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 11:40:39 +0000 (11:40 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 11:40:39 +0000 (11:40 +0000)
helm/configuration/helm_configuration.spec.in

index 6890c6985210ca9a7b0855e73daae435d77c2ce7..3048001155a5bc2cfaec5b3c776efc7b2fe16992 100644 (file)
@@ -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