...

[helm.git] / helm / interface / helm_gtk_interface-0.0.1-1.spec

diff --git a/helm/interface/helm_gtk_interface-0.0.1-1.spec b/helm/interface/helm_gtk_interface-0.0.1-1.spec
index 8c1ce72ed67f92ecfd5021f0bd2d10ba3e65a1bb..361f12cddea7f0c08db8bed22c092729bb941adc 100644 (file)
--- a/helm/interface/helm_gtk_interface-0.0.1-1.spec
+++ b/helm/interface/helm_gtk_interface-0.0.1-1.spec
@@ -11,7 +11,7 @@ Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_configuration-0.0.1-1.tar.gz
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
 at the creation of tools for the development and exploitation of a huge
 distributed library of formal mathematical knowledge. This package holds
-the configuration files shared by all this tools.
+a gtk interface to the library.
 For more information see http://www.cs.unibo.it/helm
 
 %prep
@@ -22,6 +22,8 @@ cp config.cache.pkg config.cache
 ./configure
 
 %install
+make
+make opt
 make install
 
 %files