]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/helm_data.spec.in
snapshort
[helm.git] / helm / helm_data / helm_data.spec.in
1 Summary: The base DTDs and XSLT stylesheets 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 Requires: helm_configuration >= 0.0.2
9 Group: Applications/Publishing
10 Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
11 %description
12 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
13 at the creation of tools for the development and exploitation of a huge
14 distributed library of formal mathematical knowledge. This package holds
15 the base DTDs and XSLT stylesheets developed by the members of project
16 HELM.
17 For more information see http://www.cs.unibo.it/helm
18
19 %prep
20 %setup
21
22 %build
23 cp config.cache.pkg config.cache
24 ./configure --enable-defaults
25 make
26
27 %install
28 make install
29
30 %files
31 %doc AUTHORS COPYING ChangeLog NEWS README
32
33 /usr/local/share/helm/dtd
34 /usr/local/share/helm/style