[MERGE] Add missing entries to doc/developers/index.html

[John Arbash Meinel]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Eric Siegerman wrote:
> On Sun, 2009-03-15 at 08:49 +1000, Ian Clatworthy wrote:
>> My concern was more about links that ought to be added to index.txt,
>> i.e. *.html files that get generated in that directory but aren't
>> visible in index.html.
> 
> OK.  This change makes all content in doc/developers reachable
> (perhaps indirectly) from that directory's index.html.  It also
> fixes the remaining broken links within doc/developers/*.txt.
> 
> Note that there are still unreachable HTML *files*, but no
> unreachable *content*.  These files result when A.txt (for e.g.)
> "..include"s B.txt.  B's (HTMLified) content appears bodily in
> A.html (which of course is the point); but B.html is generated
> anyway, because the Makefile doesn't know any better.
> 
> Is it better to add index entries for such HTML files, or to stop
> generating them on the theory that they're not standalone
> documents, but merely fragments of a larger one?
> 
> (N.B.: It's performance-roadmap.txt that does all of this
> "..include"ing.)
>  
>   - Eric


I'll mention that I just added "improved_chk_index.txt" and forgot to
add a link to it. It might be nice if we had a non-human check for this.
But since there is the possibility of "include", etc, it seems difficult
to do.

Anyway, what you've done still looks good so:

BB:approve

John
=:->

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Cygwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAknKcm4ACgkQJdeBCYSNAAPKRgCgscBnnuSzym8rfeGy19GmbpCS
5KkAoKnhn4wmSW9tjDfZenQ7Tk9Ag3Rl
=xkrw
-----END PGP SIGNATURE-----