Re: Documentation generation patch [Take 2]

[Mark Mitchell <mark at codesourcery dot com>]

>>>>> "Joseph" == Joseph S Myers <jsm28@cam.ac.uk> writes:

    Joseph> It is the right time to decide whether the documentation
    Joseph> for 3.0 simply says that GNU Make is required for all
    Joseph> systems (and, if so, whether we put something in the
    Joseph> makefiles to force the use of GNU Make and avoid bug
    Joseph> reports arising from the use of buggy makes).

I think that would be a good idea, for 3.0.

In the long term, a better solution is to use automake -- it knows how
to generate Makefiles that work approximately everywhere, but still
provides convenient facilities for doing lots of things.  As I said
before, if you can't do it with automake you probably have too much of
a mess.

I still don't want to have this debate again right now; we've beaten
in to death on the public lists.

I will bring it up with the SC, and we can let the SC decide what to
do: both about 3.0 and about 3.1.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com