Linux RPM installation files
Author: Roberto Virga

Contents:

  INSTALL		- installation instructions
  README		- this file
  logo.gif		- Twelf logo
  twelf-1.3.spec	- RPM spec file
  twelf-files		- script to automatically generate the %files subsection of the
			  spec file
  twelf-install		- script to install Twelf (requires root privileges).
  twelf-uninstall	- script to uninstall Twelf (requires root privileges)