diff options
| author |  Numerlor <[email protected]> | 2021-05-21 20:05:57 +0200 |
|---|---|---|
| committer | Numerlor <[email protected]> | 2021-05-21 20:11:59 +0200 |
| commit | f00fe172bcfdbe17b3e9889b8f2be619936dcafe (patch) | |
| tree | 79964175596d2f35c10fa823a8dd75eacd462890 | |
| parent | Prioritize symbols depending on their group's pos in FORCE_PREFIX_GROUPS (diff) | |
Add the doc group to FORCE_PREFIX_GROUPS
Symbols with the doc group refer to the pages themselves without pointing
at a specific element in the HTML. In most cases we can't properly parse those
so this change will move them out of the way for other symbols to take priority.
| -rw-r--r-- | bot/exts/info/doc/_cog.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bot/exts/info/doc/_cog.py b/bot/exts/info/doc/_cog.py index d969f6fd4..c54a3ee1c 100644 --- a/bot/exts/info/doc/_cog.py +++ b/bot/exts/info/doc/_cog.py @@ -30,6 +30,7 @@ FORCE_PREFIX_GROUPS = ( "term", "label", "token", + "doc", "pdbcommand", "2to3fixer", ) |