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.