helm/helm_data/helm_data.spec.in

   1 Summary: The base DTDs and XSLT stylesheets of project HELM
   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
   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 base DTDs and XSLT stylesheets developed by the members of project
  16 HELM.
  17 For more information see http://www.cs.unibo.it/helm
  18
  19 %prep
  20 %setup
  21
  22 %build
  23 cp config.cache.pkg config.cache
  24 ./configure --enable-defaults
  25 make
  26
  27 %install
  28 make install
  29
  30 %files
  31 %doc AUTHORS COPYING ChangeLog NEWS README
  32
  33 /usr/local/share/helm/dtd
  34 /usr/local/share/helm/style