40b86d77c7
in preference to the user WITHOUT_MAN knob, which should never be set in normal src Makefiles.
in preference to the user WITHOUT_MAN knob, which should never be set in normal src Makefiles.