diff options
| author | Tim Allen <screwtape@froup.com> | 2020-09-03 01:19:20 +1000 |
|---|---|---|
| committer | Tim Allen <screwtape@froup.com> | 2020-09-03 01:19:20 +1000 |
| commit | 42963051710cb8230256d8ca46b84295a93dd6c0 (patch) | |
| tree | 0d676b144e322d600a5b3935fcb5dc9932b37ec6 /rc/tools/python | |
| parent | e0d2602e6a924c9a4067fa9ff23f034b906dd56d (diff) | |
doc.kak: Also search through plugins (stdlib and per-user) for docs.
This makes the somewhat-dubious assumption that every plugin will have uniquely-
named documentation files, instead of automatically putting every plugin's docs
into a namespace. However, plugins already have to deal with flat namespaces for
commands, options, filetypes, etc. so one more shouldn't hurt.
Fixes #2466.
Diffstat (limited to 'rc/tools/python')
0 files changed, 0 insertions, 0 deletions