This manual is a Framemaker document.
The file manual.ps is a postscript version
that can be printed on any postscript printer.
