]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/helm_http_getter.spec.in
* Abst removed from the DTD
[helm.git] / helm / http_getter / helm_http_getter.spec.in
1 Summary: The HELM http getter
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, helm_data >= 0.0.2, perl-libwww-perl, perl-URI, MIME-Base64, perl-HTML-Parser, perl-XML-Parser
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 getter used to map logical names into phisical names and download
16 the required files.
17 For more information see http://www.cs.unibo.it/helm
18
19 %prep
20 %setup
21
22 %build
23 ./configure --enable-defaults
24 make
25
26 %install
27 make install
28
29 %files
30 %doc AUTHORS COPYING ChangeLog NEWS README
31 %attr(755,root,root) /usr/local/bin/http_getter.pl