This file is easiest to edit and browse (sometimes) if it is one
big file, but it (a) takes forever to load and (b) screws with some
browsers.
Ideally, it should be possible to build a script that takes the big
thing as input and makes it into a bunch of little things. Doing it in
a couple of passes would even be alright, so that intra-document links
would get fixed up correctly.
For example:
- Build a tool that generates one .html file for each header up to
the next header.
Do one file per <h2> or one file per <h2> and <h3>
or <h2> <h3> <h4> (currently only nested to <h4>).
- Scan each HTML file for name="..." constructs and build an index of
{"#name", "file#name"} tuples.
Easy to distinguish file-relative references from absolute names
becaues the absolute ones all start with "http:" or "ftp:" or
whatever,
while the relative ones start with "Tool-" or "Bib-" or "Whos-" or
whatever.
- Go back and edit every .html file, replacing each occurance of
href="#name" with "file#name",
as described by the index tuple file.
It's a simple Perl script, write it and get credit for helping out!
From instruction-set simulation and tracing