Summary: The configuration files shared by all the tools of project HELM Name: @PACKAGE@ Version: @VERSION@ Release: 1 Copyright: GPL URL: http://www.cs.unibo.it/helm Packager: Claudio Sacerdoti Coen Group: Applications/Publishing 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 distributed library of formal mathematical knowledge. This package holds the configuration files shared by all this tools. For more information see http://www.cs.unibo.it/helm %prep %setup %build cp config.cache.pkg config.cache ./configure --enable-defaults make %install make install %files %doc AUTHORS COPYING ChangeLog NEWS README /usr/local/bin/helm-config /usr/local/lib/helm/configuration.pl /usr/local/etc/helm/configuration.dtd /usr/local/etc/helm/helm-font-configuration.xml /usr/local/etc/helm/configuration.xml /usr/local/etc/helm/helm-math-engine-configuration.xml /usr/local/etc/helm/helm-dictionary.xml %attr(666,root,root) /var/local/helm/servers.txt %attr(666,root,root) /var/local/helm/urls_of_uris.db %dir /var/local/helm/library %dir /usr/local/share/helm/dtd %dir /usr/local/share/helm/style