PATCH/RFA : texinfo bootstrap failure

[Franz Sirl]

At 06:35 17.04.00, Philipp Thomas wrote:
>* Alexandre Oliva (aoliva@cygnus.com) [20000417 06:07]:
>
> > Actually, it should be installed, just not updated (assuming that, if
> > we stop shipping GCC with Texinfo, we're going to ship it with the
> > .info files)
>
>If we're going to do the latter, then I'd agree with you. I started from the
>assumption that we'd only ship the texinfo sources.
>
>I'd still argue for a prominent diagnostic telling the user what will/won't
>happen.

I would argue for the following (I don't mention "install-info" here for 
compactness):

- "make/make all/make bootstrap": don't generate *.info
- "make info" with correct makeinfo version: generate *.info
- "make info" with wrong makeinfo version: don't generate *.info, warn user 
(non-fatal)
- "make install": call the "info" target (probably as the final make target)

While we're at it, we should assure that the MAKEINFO (and maybe 
MAKEINFOFLAGS?) environment values are correctly handled by configure and 
the values are passed down to the sublevel Makefiles (eg. 
MAKEINFO="makeinfo --no-split").

Franz.