This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Documentation generation patch [Take 2]
- To: Mark Mitchell <mark at codesourcery dot com>
- Subject: Re: Documentation generation patch [Take 2]
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Date: Sat, 12 May 2001 11:11:48 +0100 (BST)
- cc: <kenner at vlsi1 dot ultra dot nyu dot edu>, <gcc-patches at gcc dot gnu dot org>
On Fri, 11 May 2001, Mark Mitchell wrote:
> But, in any case, it's simply a fact: you can't, for example, build
> current GCC sources with Solaris make.
>
> But, let's not have this debate *again* right now. We've had three
> times in the last couple of years, and now is not the right time to
> address the question.
It is the right time to decide whether the documentation for 3.0 simply
says that GNU Make is required for all systems (and, if so, whether we put
something in the makefiles to force the use of GNU Make and avoid bug
reports arising from the use of buggy makes).
--
Joseph S. Myers
jsm28@cam.ac.uk