mirrors/discord.py
1
0
Fork 0
mirror of https://github.com/Rapptz/discord.py.git synced 2025-09-05 09:26:10 +00:00
Code Issues Projects Releases Wiki Activity

Use a new scorer to improve search results.

Browse Source 
This makes the other pages take less priority than the API results.
It's kind of biased, but hopefully it helps out.
This commit is contained in:
Rapptz
2019-06-29 02:36:26 -04:00
parent c26797d808
commit d747f2c88b
2 changed files with 79 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conf.py
View File

@ -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'