Patch to update gdbint.texinfo [01/04]

[Eli Zaretskii]

> Date: Tue, 21 Apr 2009 12:37:43 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: jeremy.bennett@embecosm.com, gdb-patches@sourceware.org
> 
> On Sat, 21 Mar 2009, Eli Zaretskii wrote:
> 
> > Replacing texinfo.tex with the latest version would be fine with me.
> 
> I have now committed the latest version after observing it fixes "make 
> dvi" in BFD for me.

Thanks!