diff options
| author | Rapptz <[email protected]> | 2017-05-16 03:12:43 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2017-05-16 03:12:43 -0400 |
| commit | 9cbbd8af65e01ba659787b94b2ad60be4c4c7b9d (patch) | |
| tree | 88ee993a1195cce21ed6da6ef58b5c5d445f33a3 /docs/conf.py | |
| parent | Client.get_user_info uses int for IDs not str. (diff) | |
| download | discord.py-9cbbd8af65e01ba659787b94b2ad60be4c4c7b9d.tar.xz discord.py-9cbbd8af65e01ba659787b94b2ad60be4c4c7b9d.zip | |
Highlight currently visited section.
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 2fd56d47..c29c8e94 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -304,3 +304,6 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False + +def setup(app): + app.add_javascript('custom.js') |