[patch] require makeinfo 4.2 or better

[cgd@broadcom.com]

At Sat, 3 May 2003 00:55:19 -0400, Daniel Jacobowitz wrote:
> [ binutils release branch makeinfo ] 
> Hmm.  For now, let's go for --no-split.  Would you mind fixing the
> branch?

Sure, i'll try to get to it tmrw or sunday.

frying other fish tonight.  8-)


chris