mirror of
https://git.FreeBSD.org/src.git
synced 2025-02-02 17:08:56 +00:00
07e547fe26
utilities and related support files for manual pages, which were previously controlled by MAN. For POLA, the default depends on MAN, i.e., WITHOUT_MAN implies WITHOUT_MAN_UTILS and WITH_MAN implies WITH_MAN_UTILS. This patch is slightly improved by me from: PR: misc/145212