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 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