K 10 svn:author V 3 imp K 8 svn:date V 27 2014-05-06T15:44:46.620766Z K 7 svn:log V 493 No need to install man pages for bootstrapping new make. Some environments (that I can't reproduce locally, but that others have reported) seem to get tripped up by this man page install. There's really no need to do it, so turn off the man pages using the most portable method. We can't just directly set MK_MAN=no here because we're bootstrapping in the host environment and such a setting was forbidden until very recently. NO_MAN= can produce a warning, but for now the warning is benign. END