man: Deactivate in favor of mandoc.

As per #4357.
This commit is contained in:
waddlesplash
2019-11-22 22:43:56 -05:00
committed by GitHub
parent d1e0f3f1ce
commit 15fa2d6aa7

View File

@@ -10,7 +10,8 @@ CHECKSUM_SHA256="ccdcb8c3f4e0080923d7e818f0e4a202db26c46415eaef361387c20995b8959
PATCHES="man-1.6g.patchset"
ADDITIONAL_FILES="fix_man_settings_paths.sh"
ARCHITECTURES="x86_gcc2 x86 x86_64"
# disabled: superseded by mandoc
#ARCHITECTURES="x86_gcc2 x86 x86_64"
GLOBAL_WRITABLE_FILES="
settings/man.conf keep-old