diff options
| author | bapt <bapt@FreeBSD.org> | 2014-07-17 23:24:33 +0000 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2014-07-17 23:24:33 +0000 |
| commit | d253fbfec2b9b057ad8de3a99eb84312d78d4759 (patch) | |
| tree | 8158843b8961b2d358ad2c1d8678a151ebc286b1 /tools | |
| parent | f00477e481e26b6c46d3b0da07d1247d1828ab69 (diff) | |
| download | FreeBSD-src-d253fbfec2b9b057ad8de3a99eb84312d78d4759.zip FreeBSD-src-d253fbfec2b9b057ad8de3a99eb84312d78d4759.tar.gz | |
Remove texinfo manpages as well if built WITHOUT_INFO
Diffstat (limited to 'tools')
| -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 |
