non-bootstrap: makeinfo still runs, although too old.

[Michael Matz]

Hi,

On Tue, 12 Mar 2002, Joseph S. Myers wrote:

> On Mon, 11 Mar 2002, Michael Matz wrote:
>
> That would then be a bug introduced since 3.0 in the toplevel support

Mea maxima culpa.  I'm just too dumb.  It was the script I used which
called 'make info'.  I'm very sorry for the bother.


Ciao,
Michael.