Added commands to view the generated documentation
using latex, makeindex, xdvi and netscape Uses the new option TITLE
Authored by: gumpu 2000-06-28
Parent: [r20]
Child: [r22]