HTML-DOC : MEXPR

HTML-DOC is a top-level command.
Produce HTML documentation in the specified directory.
This requires an empty directory and a lot of disk space, and
will take quite some time to produce.
The command format for HTML-DOC is:

 <n>HTML-DOC DIRECTORY 
"DIRSPEC"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage