X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fhelm_configuration.spec.in;fp=helm%2Fconfiguration%2Fhelm_configuration.spec.in;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=56695c26356c85623858b4b9f2c8dfe928454840;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/configuration/helm_configuration.spec.in b/helm/configuration/helm_configuration.spec.in
deleted file mode 100644
index 56695c263..000000000
--- a/helm/configuration/helm_configuration.spec.in
+++ /dev/null
@@ -1,43 +0,0 @@
-Summary: The configuration files shared by all the tools of project HELM
-Name: @PACKAGE@
-Version: @VERSION@
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-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 configuration files shared by all this tools.
-For more information see http://www.cs.unibo.it/helm
-
-%prep
-%setup
-
-%build
-cp config.cache.pkg config.cache
-./configure --enable-defaults
-make
-
-%install
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-
-/usr/local/bin/helm-config
-/usr/local/lib/helm/configuration.pl
-/usr/local/etc/helm/configuration.dtd
-/usr/local/etc/helm/helm-font-configuration.xml
-/usr/local/etc/helm/configuration.xml
-/usr/local/etc/helm/helm-math-engine-configuration.xml
-/usr/local/etc/helm/helm-dictionary.xml
-%attr(666,root,root) /var/local/helm/servers.txt
-%attr(666,root,root) /var/local/helm/urls_of_uris.db
-
-%dir /var/local/helm/library
-%dir /usr/local/share/helm/dtd
-%dir /usr/local/share/helm/style