diff options
| author | Rapptz <[email protected]> | 2020-05-28 01:07:17 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2020-12-18 21:18:51 -0500 |
| commit | 25e3a3182781210d51e6ce69d4711b85e547b0f1 (patch) | |
| tree | 9d840c81e0d72a6a6d345d230889e74247df4335 | |
| parent | Cleanup copy button CSS and add a hover-over explanation. (diff) | |
| download | discord.py-25e3a3182781210d51e6ce69d4711b85e547b0f1.tar.xz discord.py-25e3a3182781210d51e6ce69d4711b85e547b0f1.zip | |
Use html_js_files instead of the old approach to add JS files.
| -rw-r--r-- | docs/conf.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index a4d35fbb..2becdfc8 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -234,6 +234,11 @@ html_static_path = ['_static'] # implements a search results scorer. If empty, the default will be used. html_search_scorer = '_static/scorer.js' +html_js_files = [ + 'custom.js', + 'copy.js', +] + # Output file base name for HTML help builder. htmlhelp_basename = 'discord.pydoc' @@ -319,7 +324,5 @@ texinfo_documents = [ #texinfo_no_detailmenu = False def setup(app): - app.add_js_file('custom.js') - app.add_js_file('copy.js') if app.config.language == 'ja': app.config.intersphinx_mapping['py'] = ('https://docs.python.org/ja/3', None) |