This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: gcc-20020429 make info failure
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Alexandre Oliva <aoliva at redhat dot com>
- Cc: "Neal D. Becker" <nbecker at hns dot com>, <gcc at gcc dot gnu dot org>, <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 2 May 2002 10:25:43 +0100 (BST)
- Subject: Re: gcc-20020429 make info failure
On 2 May 2002, Alexandre Oliva wrote:
> Hmm... IIRC, install-info is one of the blessed targets in the GNU
> Coding Standards. It's expected to work, even if it does nothing. If
> we don't have info files to install, it should succeed. If it
> currently fails, we may be in need of a work around. Not that this
> should delay the release (given that info files will be present in the
> release), just something I thought I'd point out.
info is one of the standard targets, install-info isn't. (The
install-info problem was in fastjar (which has no manual at all); the
install-info target in gcc does work if the info files aren't present.) I
don't see anything in the standards saying whether the info target should
fail if makeinfo isn't present or recent enough, but I don't see any
problem with it failing when makeinfo is too old, given that we include
info files in releases and configure so that "make bootstrap" doesn't
attempt to rebuild info when makeinfo is too old.
--
Joseph S. Myers
jsm28@cam.ac.uk