On Sunday, July 6, 2003, at 03:13 AM, Adam Fedor wrote:
Well this seems to be causing a lot of trouble (beside this). Maybe we should just not build Documentation in the normal build, but provide instructions for doing it in the INSTALL file?
People complain (rightly) about the state of the documentation ... so I think we should at least
build it by default and try to get it improved that way.
On the other hand, it seems reasonable to have a way for people to use a command-line option
to override that (eg. make doc=no)
_______________________________________________ Help-gnustep mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-gnustep
