I wrote an incredibly messy and inefficient C program to compile the text into HTML , creating the master table of contents and section index.
Compilation is a three-phase process.
The final pass creates the actual HTML file for each section, scanning the text for cross-references and inserting links to the anchors assigned in the second pass. A modified version of the compiler program was used to create a second copy of the Code which was indexed with freeWAIS-sf , with the title of each section containing the name of the compiled HTML document. Submission of queries uses the Fill-Out Form facility, and requires a browser which supports this capability.