Re: RFA: fix gdb.texinfo for Texinfo 5.0

[Tom Tromey <tromey@redhat.com>]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Tom> The fix for the first problem is to just remove the @table.
Tom> There's no need for it.

Eli> It's possible that someone used this trick to get the text indented.
Eli> All of those instances are around @defXXX directives, so perhaps
Eli> someone didn't like how functions/methods/etc. look unless indented.
Eli> But if you are satisfied by the results of removing @table in those
Eli> cases, that's fine by me.

Yeah, I think it looks ok.

Tom> The fix for the second was to use @w{} as the argument to @item.

Eli> Yes, Texinfo 5.0 replaced one ugly kludge with another, sigh.
Eli> (We left the @item empty because we wanted `' in the manual, by virtue
Eli> of "@table @samp".)

It took me a while to find @w{}.

Eli> P.S.  I recommend everybody not to use makeinfo 5 yet, since it's
Eli> dog-slow.  I renamed it to 'makeinfo5' and keep the old v4.13a
Eli> executable around, because it is 30 times faster, and that really
Eli> shows when processing such a large manual.

I noticed that too.  It is really noticeably slower.
I just did this because Texinfo 5 is in the Fedora build root, and I
thought it would be good for gdb to be warning-free there.

Tom