diff options
| author | alc <alc@FreeBSD.org> | 2014-07-18 06:56:24 +0000 |
|---|---|---|
| committer | alc <alc@FreeBSD.org> | 2014-07-18 06:56:24 +0000 |
| commit | d8612e9432a6a6bdeb374817db86445640e36cd4 (patch) | |
| tree | 8f0ca83b195ee8348c73cba88734c0bee0e39073 /ObsoleteFiles.inc | |
| parent | 4eec8ef1e82679fbf786a75cd1da10cacf21071c (diff) | |
| download | FreeBSD-src-d8612e9432a6a6bdeb374817db86445640e36cd4.zip FreeBSD-src-d8612e9432a6a6bdeb374817db86445640e36cd4.tar.gz | |
Remove an obsolete man page.
Diffstat (limited to 'ObsoleteFiles.inc')
| -rw-r--r-- | ObsoleteFiles.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc index 0dd5633..212b830c 100644 --- a/ObsoleteFiles.inc +++ b/ObsoleteFiles.inc @@ -38,6 +38,8 @@ # xargs -n1 | sort | uniq -d; # done +# 20140718: Remove an obsolete man page +OLD_FILES+=usr/share/man/man9/pmap_page_protect.9.gz # 20140717: Remove an obsolete man page OLD_FILES+=usr/share/man/man9/pmap_clear_reference.9.gz # 20140716: Remove an incorrectly named man page |
