diff options
| author | Rapptz <[email protected]> | 2019-06-29 02:36:26 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2019-06-29 02:36:26 -0400 |
| commit | d747f2c88baeb9ba3f1eb9e1421c7a34b3ec99e5 (patch) | |
| tree | ca2857981ca089b9db219131a7fc388bb81fb618 /docs/conf.py | |
| parent | Proper RTD detection. (diff) | |
| download | discord.py-d747f2c88baeb9ba3f1eb9e1421c7a34b3ec99e5.tar.xz discord.py-d747f2c88baeb9ba3f1eb9e1421c7a34b3ec99e5.zip | |
Use a new scorer to improve search results.
This makes the other pages take less priority than the API results.
It's kind of biased, but hopefully it helps out.
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index e5054a15..caf49022 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -234,7 +234,7 @@ html_static_path = ['_static'] # The name of a javascript file (relative to the configuration directory) that # implements a search results scorer. If empty, the default will be used. -#html_search_scorer = 'scorer.js' +html_search_scorer = '_static/scorer.js' # Output file base name for HTML help builder. htmlhelp_basename = 'discord.pydoc' |