Suggest appending Node name to HTML doc titles

[Phil Edwards]

On Sat, Dec 14, 2002 at 02:47:20AM -0800, Bengt Richter wrote:
>     Since bookmarks use HTML titles, it would save editing
>     if at least major sections had section names appended
>     int the gcc internals docs.

The HTML is generated from the Texinfo, which does whatever it wants with
the titles.

-- 
I would therefore like to posit that computing's central challenge, viz. "How
not to make a mess of it," has /not/ been met.
                                                 - Edsger Dijkstra, 1930-2002