Re: [PATCH] doc typos

[Gerald Pfeifer <gerald at pfeifer dot com>]

On Sat, 3 Jan 2009, Jonathan Wakely wrote:
> Thanks.  Some more info in case you do end up reviewing yourself:

Heh, given all this extra guidance and the fine patch to begin with,
I couldn't help but look into it. :-)

> the @cindex command is placed after the @item everywhere else, so I
> moved a couple of them for consistency (in the HTML output this
> prevents an empty paragraph containing the <a> element, which avoids a
> big vertical space before the 'artificial' and 'flatten' attribute
> descriptions.)

I wonder whether our colleagues in texinfo-land would be interested
adding a warning for such cases?

The patch is fine, with one minor adjustment: per
http://gcc.gnu.org/codingconventions.html we use "command-line option"
instead of "command line option".

Thanks,
Gerald