Documentation generation patch [Take 2]

[Mark Mitchell]

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

    Joseph> We need to resolve the directory naming and where this
    Joseph> fits into the Makefile rules.  Presumably the info files
    Joseph> get generated into the source doc directory?  Do manpages

Ack, no.  Nothing should be generated in the source directory.  The
fact that bison-generated files go there, for example, is, in my
opinion, a bug.

    Joseph> building these formats from the makefiles, even if the
    Joseph> actual support for building them doesn't go in
    Joseph> immediately?

Good idea.

    Joseph> Tangentially related: is there an official position for
    Joseph> 3.0 on whether non-GNU make is or is not supported, and
    Joseph> whether building in the source directory is or is not
    Joseph> supported?

Non-GNU make is (empirically) not supported.  We've argued about this,
and it looks like I won, sort-of by accident.  There are now
constructs that only work with GNU make.  

I don't know about building in the source directory.

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