Finish removal of WITHOUT_MANDOCDB

2017-03-12 03:35:01 +00:00 · 2017-03-12 03:35:01 +00:00 · 75bf90db94
commit 75bf90db94
parent 5714b7010f
2 changed files with 2 additions and 1 deletions
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@ -38,6 +38,8 @@
 #   xargs -n1 | sort | uniq -d;
 # done

+# 20170311: Remove WITHOUT_MANDOCDB option
+OLD_FILES=/usr/share/man/man1/makewhatis.1.gz
 # 20170311: remove GNU diff
 OLD_FILES+=usr/share/man/man7/diff.7.gz
 # 20170308: rename some tests
--- a/share/mk/src.opts.mk
+++ b/share/mk/src.opts.mk
@ -131,7 +131,6 @@ __DEFAULT_YES_OPTIONS = \
    MAIL \
    MAILWRAPPER \
    MAKE \
-    MANDOCDB \
    NDIS \
    NETCAT \
    NETGRAPH \