1 Summary: The configuration files shared by all the tools of project HELM
3 Version: @HELM_VERSION@
6 URL: http://www.cs.unibo.it/helm
7 Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
8 Group: Applications/Publishing
9 Source: www.cs.unibo.it:/helm/@PACKAGE@-@HELM_VERSION@-1.tar.gz
11 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
12 at the creation of tools for the development and exploitation of a huge
13 distributed library of formal mathematical knowledge. This package holds
14 the configuration files shared by all this tools.
15 For more information see http://www.cs.unibo.it/helm
21 cp config.cache.pkg config.cache
28 %doc AUTHORS COPYING ChangeLog NEWS README
30 /usr/local/bin/helm-config
31 /usr/local/lib/helm/configuration.pl
32 /usr/local/etc/helm/configuration.dtd
33 /usr/local/etc/helm/helm-font-configuration.xml
34 /usr/local/etc/helm/configuration.xml
35 /usr/local/etc/helm/helm-math-engine-configuration.xml
36 /usr/local/etc/helm/helm-dictionary.xml
37 %attr(666,root,root) /var/local/helm/servers.txt
38 %attr(666,root,root) /var/local/helm/urls_of_uris.db
40 %dir /var/local/helm/library
41 %dir /usr/local/share/helm/dtd
42 %dir /usr/local/share/helm/style