7.5.3.5. Install doco
If necessary copy, or move, the HTML documentation in
interscript/doc to someplace on your local WWW server.
You will need to copy all the ".html" files, and the files
"interscript.css" and "user.css"if you want to use the interscript
CSS1 cascading style sheet.