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

Highlight currently visited section.

Browse Source
This commit is contained in:
Rapptz
2017-05-16 03:12:43 -04:00
parent 7a06f0f3bf
commit 9cbbd8af65
3 changed files with 39 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
docs/conf.py
View File

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