Re: [ANNOUNCEMENT] GDB 6.7 released!

Daniel Jacobowitz
2007-10-11T12:14:08Z

On Thu, Oct 11, 2007 at 01:49:26PM +0200, Ralf Corsepius wrote:
> Something is broken with makeinfo handling:
>
> # which makeinfo
> /usr/bin/makeinfo

What version of makeinfo? Either too old or so new that it triggers a
recently fixed bug in configure, presumably.

--
Daniel Jacobowitz
CodeSourcery