From f884b59d018db61b39146c9f08b4ffc17e9f8902 Mon Sep 17 00:00:00 2001 From: Ed Maste Date: Mon, 10 Oct 2016 15:29:59 +0000 Subject: [PATCH] Remove old makewhatis(1) man page when using mandoc mandoc installs makewhatis(8) --- tools/build/mk/OptionalObsoleteFiles.inc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc index 4a938035071a..cfb1896e94bf 100644 --- a/tools/build/mk/OptionalObsoleteFiles.inc +++ b/tools/build/mk/OptionalObsoleteFiles.inc @@ -6014,6 +6014,10 @@ OLD_FILES+=usr/share/man/whatis OLD_FILES+=usr/share/openssl/man/whatis .endif +.if ${MK_MANDOCDB} != no +OLD_FILES+=usr/share/man/man1/makewhatis.1.gz +.endif + .if ${MK_NDIS} == no OLD_FILES+=usr/sbin/ndiscvt OLD_FILES+=usr/sbin/ndisgen