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 <sacerdot@cs.unibo.it>
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
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