autoconfiguration improved (?)

[helm.git] / helm / configuration / helm_configuration.spec.in

diff --git a/helm/configuration/helm_configuration.spec.in b/helm/configuration/helm_configuration.spec.in
new file mode 100644 (file)
index 0000000..6890c69
--- /dev/null
+++ b/helm/configuration/helm_configuration.spec.in
@@ -0,0 +1,42 @@
+Summary: The configuration files shared by all the tools of project HELM
+Name: @PACKAGE@
+Version: @HELM_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@-@HELM_VERSION@-1.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
+
+%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