GDB assumes texinfo 4.0 ...

[Eli Zaretskii]

> Date: Mon, 21 Jan 2002 19:06:34 -0500
> From: Andrew Cagney <ac131313@cygnus.com>
> 
> How about the attached?
> 
> Index: doc/ChangeLog
> 2002-01-21  Andrew Cagney  <ac131313@redhat.com>
> 
> 	* gdb.texinfo: Remove makeinfo 3.12 hacks.
> 	* gdbint.texinfo: Ditto.
> 
> Index: mi/ChangeLog
> 2002-01-21  Andrew Cagney  <ac131313@redhat.com>
> 
> 	* gdbmi.texinfo: Remove makeinfo 3.12 hacks.

Yes, those are the things I had in mind, thanks.