Patch to update gdbint.texinfo [01/04]

[Joseph S. Myers]

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.

-- 
Joseph S. Myers
joseph@codesourcery.com