GDB 5.1, which texinfo version?

[Andrew Cagney]

Hello,

Part of the song and dance of doing a release is sanity checking that 
the info pages can be re-build using all versions of texinfo.  For 5.0 
that included 3.12f(?1) and 4.0.

I'm going to work on the assumption that 5.1 is the same and then, post 
5.1, GDB can switch to requiring >=4.0.  Sound ok?

	Andrew

(1) The exact version is available as a tar ball available for down load 
from GDB's FTP site.