aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ObsoleteFiles.inc2
1 files changed, 1 insertions, 1 deletions
diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index eec9da3be651..2fef68ecf4cb 100644
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -39,7 +39,7 @@
# done
# 20170311: Remove WITHOUT_MANDOCDB option
-OLD_FILES=/usr/share/man/man1/makewhatis.1.gz
+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