Re: gnumach release

[Roland McGrath]

> Ok, I read up the old thread, and beside the memory limit (which seems to be
> hard) there was only the manual, which is now there.  You might want to
> check if the rules for the manual are ok (like, building it by default or
> not).

Since the manual is not really polished, I think having it not built by
default is fine.