This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: makeinfo version
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: makeinfo version
- From: Roman Zippel <zippel at fh-brandenburg dot de>
- Date: Wed, 31 Jan 2001 02:33:49 +0100 (MET)
- cc: gcc at gcc dot gnu dot org
On Wed, 31 Jan 2001, Joseph S. Myers wrote:
> On Wed, 31 Jan 2001, Roman Zippel wrote:
>
> > I have a problem rebuilding cpp.info with an older makeinfo (from texinfo
> > 3.12) because of "@option". Maybe the required makeinfo version should be
> > increased, so that 'make (info|install)' doesn't fail?
>
> What make command fails, with what message?
I've just rebuilt the compiler and now I also removed the old
config.cache. Now 'make install' works fine, it's only a 'make info' that
fails on cpp.texi.
I can't exactly remember anymore, how install failed, but I think the old
config.cache caused it and since it works now - problem solved. Thanks. :)
> What is BUILD_INFO set to in your gcc/Makefile?
# Control whether Info documentation is built and installed.
BUILD_INFO =
> What does your gcc/config.log show under "checking for modern makeinfo"?
configure:2259: checking for mktemp
configure:2298: checking for makeinfo
configure:2327: checking for modern makeinfo
configure:2333: version of makeinfo is 1.68
configure:2361: checking for recent Pod::Man
BTW the version info wasn't in the config.log before I rerun configure.
bye, Roman