matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Use html_js_files instead of the old approach to add JS files.

Browse Source
This commit is contained in:
Rapptz 2020-05-28 01:07:17 -04:00
parent da4e345f3d
commit aedd40e585
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/conf.py
View File

@ -234,6 +234,11 @@ html_static_path = ['_static']
# implements a search results scorer. If empty, the default will be used. # implements a search results scorer. If empty, the default will be used.
html_search_scorer = '_static/scorer.js' html_search_scorer = '_static/scorer.js'
html_js_files = [
'custom.js',
'copy.js',
]
# Output file base name for HTML help builder. # Output file base name for HTML help builder.
htmlhelp_basename = 'discord.pydoc' htmlhelp_basename = 'discord.pydoc'
@ -319,7 +324,5 @@ texinfo_documents = [
#texinfo_no_detailmenu = False #texinfo_no_detailmenu = False
def setup(app): def setup(app):
app.add_js_file('custom.js')
app.add_js_file('copy.js')
if app.config.language == 'ja': if app.config.language == 'ja':
app.config.intersphinx_mapping['py'] = ('https://docs.python.org/ja/3', None) app.config.intersphinx_mapping['py'] = ('https://docs.python.org/ja/3', None)