7.2.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 file "interscript.css" if you want to use the interscript CSS1 cascading style sheet.