diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index eec9da3be65..2fef68ecf4c 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