Re: texinfo-5.0+ incompatible with GDB's gdbint.info image

[Karl Berry]

    infobug.tar.gz = https://bugzilla.redhat.com/attachment.cgi?id=717865

Sigh, I thought that had been fixed.  Thanks for the report, Sergey or I
will look at it asap.

k