This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH/RFA : texinfo bootstrap failure
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.