diff options
author | 2014-07-13 12:31:23 +0000 | |
---|---|---|
committer | 2014-07-13 12:31:23 +0000 | |
commit | 34968ad769bb056b5b09d451d2879309cd549f34 (patch) | |
tree | 82ac8759d3f033a62dd4305f8d63ce5601fd1f60 /libman.h | |
parent | fc6948f15fbb03bcfe694465d2b63e8d8193bff2 (diff) | |
download | mandoc-34968ad769bb056b5b09d451d2879309cd549f34.tar.gz mandoc-34968ad769bb056b5b09d451d2879309cd549f34.tar.zst mandoc-34968ad769bb056b5b09d451d2879309cd549f34.zip |
By popular demand, bring man.cgi default mode closer to what man(1) does:
Even when there are multiple pages with the same name in different
sections, show one of them, using the same priorities as in the
default man.conf(5) file.
Diffstat (limited to 'libman.h')
0 files changed, 0 insertions, 0 deletions