diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2014-07-13 12:31:23 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2014-07-13 12:31:23 +0000 |
| commit | aabf34b70e1e4378769faad6048e6c236cf7368f (patch) | |
| tree | 59b851920d417e670caab1837fa00bc22210d0d5 /demandoc.c | |
| parent | 047cc3791c28c9f600830c6fde3a41aa96e4f838 (diff) | |
| download | mandoc-aabf34b70e1e4378769faad6048e6c236cf7368f.tar.gz | |
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 'demandoc.c')
0 files changed, 0 insertions, 0 deletions