diff options
author | 2014-09-03 18:09:14 +0000 | |
---|---|---|
committer | 2014-09-03 18:09:14 +0000 | |
commit | 248398820acb6a81f0d92b7a33dc1e449dda483b (patch) | |
tree | 93066814e716198d92cc1458fab4a2eca07bea9a /Makefile.depend | |
parent | 02046d75d7ec4c27ec31d04e15c9d9fe018a01ab (diff) | |
download | mandoc-248398820acb6a81f0d92b7a33dc1e449dda483b.tar.gz mandoc-248398820acb6a81f0d92b7a33dc1e449dda483b.tar.zst mandoc-248398820acb6a81f0d92b7a33dc1e449dda483b.zip |
If a manual page is installed gzip(1)ed, let makewhatis(8) take
note in mandoc.db(5), such that man(1) -w and apropos(1) -w can
report the correct filename.
This is a prerequisite for letting apropos -a and man support
gzip'ed manuals in the future, which doesn't work yet.
Diffstat (limited to 'Makefile.depend')
0 files changed, 0 insertions, 0 deletions