2 weeks away from potential GDB 7.4.1 release...

[Joel Brobecker]

> I would love to see a fix for the issue of the build failing if you
> don't have makeinfo installed... I think it's already fixed but I don't
> know if it was applied to the branch.  I can look up the bug # if
> needed.

I am not opposed to this patch in principle, but a taking a look at
the patch would allow us to evaluate its impact. Can you repost or
send a link to that patch?

In the meantime, it seems much easier to just apply the patch locally
to your sources rather than wait for 7.4.1 or 7.5...

-- 
Joel