]> matita.cs.unibo.it Git - helm.git/blob - helm/configuration/helm_configuration.spec.in
commented Record type constructor
[helm.git] / helm / configuration / helm_configuration.spec.in
1 Summary: The configuration files shared by all the tools of project HELM
2 Name: @PACKAGE@
3 Version: @VERSION@
4 Release: 1
5 Copyright: GPL
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@-@VERSION@.tar.gz
10 %description
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
16
17 %prep
18 %setup
19
20 %build
21 cp config.cache.pkg config.cache
22 ./configure --enable-defaults
23 make
24
25 %install
26 make install
27
28 %files
29 %doc AUTHORS COPYING ChangeLog NEWS README
30
31 /usr/local/bin/helm-config
32 /usr/local/lib/helm/configuration.pl
33 /usr/local/etc/helm/configuration.dtd
34 /usr/local/etc/helm/helm-font-configuration.xml
35 /usr/local/etc/helm/configuration.xml
36 /usr/local/etc/helm/helm-math-engine-configuration.xml
37 /usr/local/etc/helm/helm-dictionary.xml
38 %attr(666,root,root) /var/local/helm/servers.txt
39 %attr(666,root,root) /var/local/helm/urls_of_uris.db
40
41 %dir /var/local/helm/library
42 %dir /usr/local/share/helm/dtd
43 %dir /usr/local/share/helm/style