helm/helm_data/helm_data-0.0.1-1.spec

   1 Summary: The base DTDs and XSLT stylesheets of project HELM
   2 Name: helm_data
   3 Version: 0.0.1
   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.1
   9 Group: Applications/Publishing
  10 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_data-0.0.1-1.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
  25
  26 %install
  27 make install
  28
  29 %files
  30 %doc AUTHORS COPYING ChangeLog NEWS README
  31
  32 /usr/local/share/helm/dtd
  33 /usr/local/share/helm/style