]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/helm_data.spec.in
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / helm_data / helm_data.spec.in
diff --git a/helm/helm_data/helm_data.spec.in b/helm/helm_data/helm_data.spec.in
deleted file mode 100644 (file)
index 387a06f..0000000
+++ /dev/null
@@ -1,34 +0,0 @@
-Summary: The base DTDs and XSLT stylesheets 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>
-Requires: helm_configuration >= 0.0.2
-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 base DTDs and XSLT stylesheets developed by the members of project
-HELM.
-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/share/helm/dtd
-/usr/local/share/helm/style