Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-25 14:45:17 -0700 (Mon, 25 Oct 1999)
Revision: 2824
Log message:
I created a Makefile that allows converting MetaPRL documentatoion into
PS and PDF format using HTMLDOC utility.
Curenntly three pairs of (.PS,.PDF) files are being created:
introduction - introduction to MetaPRL, installing MetaPRl, etc
user-guide - User Guide
tutorial - MetaPRL Tutorial
I had to modify html files slightly (mostly - H1-H6 tags) to help HTMLDOC
better understand the structure.