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.
This commit is contained in:
parent
fa7bd4a732
commit
dd581d4b74
Loading…
Reference in New Issue
Block a user