Patch to update gdbint.texinfo [01/04]

[Eli Zaretskii]

> Date: Sat, 21 Mar 2009 16:54:05 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
> 
> On Sat, 21 Mar 2009, Jeremy Bennett wrote:
> 
> > It could be connected with the move to replace etex by a link to pdftex
> > in recent Linuxes (I'm using FC9), which may require some modification
> > to GDB's custom texinfo.tex.
> 
> I don't think it's a custom one; there's a single copy of texinfo.tex in 
> the src tree, texinfo/texinfo.tex, which is over five years old (version 
> 2004-02-19.09).  It might be time to replace it with the current version 
> (right now, 2009-03-20.13) whether or not it is the cause of problems, as 
> long as the current version doesn't break things itself.

Replacing texinfo.tex with the latest version would be fine with me.