This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Documentation generation patch [Take 2]
>>>>> "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