This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Suggest appending Node name to HTML doc titles
- From: Phil Edwards <phil at jaj dot com>
- To: Bengt Richter <bokr at oz dot net>
- Cc: gcc at gnu dot org
- Date: Sat, 14 Dec 2002 17:26:06 -0500
- Subject: Re: Suggest appending Node name to HTML doc titles
- References: <5.0.2.1.1.20021214022816.00a699f0@mail.oz.net>
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