diff options
-rw-r--r-- | tools/build/mk/OptionalObsoleteFiles.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc index 0214da8..e69615d 100644 --- a/tools/build/mk/OptionalObsoleteFiles.inc +++ b/tools/build/mk/OptionalObsoleteFiles.inc @@ -1983,6 +1983,13 @@ OLD_FILES+=usr/bin/infokey OLD_FILES+=usr/bin/install-info OLD_FILES+=usr/bin/makeinfo OLD_FILES+=usr/bin/texindex +OLD_FILES+=share/man/info.1.gz +OLD_FILES+=share/man/infokey.1.gz +OLD_FILES+=share/man/install-info.1.gz +OLD_FILES+=share/man/makeinfo.1.gz +OLD_FILES+=share/man/texindex.1.gz +OLD_FILES+=share/man/texinfo.5.gz +OLD_FILES+=share/man/info.5.gz OLD_FILES+=usr/share/info/am-utils.info.gz OLD_FILES+=usr/share/info/as-utils.info.gz OLD_FILES+=usr/share/info/binutils.info.gz |