X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhelm_http_getter.spec.in;fp=helm%2Fhttp_getter%2Fhelm_http_getter.spec.in;h=0000000000000000000000000000000000000000;hb=43ddb7c4879cec9c9d69ca92aefb6677bcc5cfa2;hp=dda2b975dc5e9c5421cfd46c44521775aff3a2ad;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751;p=helm.git

diff --git a/helm/http_getter/helm_http_getter.spec.in b/helm/http_getter/helm_http_getter.spec.in
deleted file mode 100644
index dda2b975d..000000000
--- a/helm/http_getter/helm_http_getter.spec.in
+++ /dev/null
@@ -1,31 +0,0 @@
-Summary: The HELM http getter
-Name: @PACKAGE@
-Version: @VERSION@
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Requires: helm_configuration >= 0.0.2, helm_data >= 0.0.2, perl-libwww-perl, perl-URI, MIME-Base64, perl-HTML-Parser, perl-XML-Parser
-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 getter used to map logical names into phisical names and download
-the required files.
-For more information see http://www.cs.unibo.it/helm
-
-%prep
-%setup
-
-%build
-./configure --enable-defaults
-make
-
-%install
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-%attr(755,root,root) /usr/local/bin/http_getter.pl