To format/print the toolset documentation:

if you have the formatted PostScript file toolset-docs.ps,
 just print it to a PostScript printer:
	lpr -Pprinter toolset.ps

if you have the formatted dvi file toolset-docs.ps, pass it through your
 favorite dvi converter for your type of printer, and print it:
	dvi2ps toolset.dvi | lpr -Pprinter 
(where dvi2ps is a dvi driver for printer)

if you only have the LaTeX source file toolset-docs.tex and the Bibtex
source file gt.bib, then you have to do the whole shebang:

	edit the source file toolset-docs.tex to comment out the line
		'\include{docindex}' at the end of the file
	latex toolset-docs
	bibtex toolset-docs
	latex toolset-docs
	edit the source file again to uncomment the '\include{docindex}'
	latex toolset-docs
	edit the file toolset-docs.tmp, to remove duplicate index entries
		(if you care)
	mv toolset-docs.tmp toolset-docs.idx
	dvi2ps toolset-docs.dvi | lpr -Pprinter
(where dvi2ps is a dvi driver for printer)

if you want to create a .ps file, simply do:
	dvi2ps toolset-docs.dvi > toolset-docs.ps
(however, these files are rather large & it's usually better to just
keep the .dvi file around)

The toolset docs are in plain LaTeX. The only special characters they
require are the vertical bar '|' and the greater than sign '>'.
Consequently, if you have a special version of LaTeX which uses alternate
fonts (such as pslatex, which uses PostScript fonts), you should be
able to use it to format the toolset docs.

	