diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2014-11-11 19:04:55 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2014-11-11 19:04:55 +0000 |
commit | c0cfd0d601c1d58cab2a03234d79d564f7bfc104 (patch) | |
tree | b521ac81e76fc22b00567c8576d62d0208be61c5 /mandocdb.c | |
parent | 2c056fc7a8960253aa0b87c88175cd8cbe51af40 (diff) | |
download | mandoc-c0cfd0d601c1d58cab2a03234d79d564f7bfc104.tar.gz |
In man(1) mode without -a, stop searching after the first manual tree
that contained at least one match in order to not prefer mdoc(1) from
ports over mdoc(7). As a bonus, this results in a speedup.
Diffstat (limited to 'mandocdb.c')
0 files changed, 0 insertions, 0 deletions