diff options
| author | Rapptz <[email protected]> | 2020-05-31 09:12:26 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2020-12-18 21:18:52 -0500 |
| commit | 33a4388e6e63f9b6d269d3ec204419f1706ceb26 (patch) | |
| tree | 3f571772ab59be5d6a28bd96723e58c9bf814a7d /docs/conf.py | |
| parent | Create settings icon for mobile (diff) | |
| download | discord.py-33a4388e6e63f9b6d269d3ec204419f1706ceb26.tar.xz discord.py-33a4388e6e63f9b6d269d3ec204419f1706ceb26.zip | |
First pass at double header display
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 2becdfc8..6488f2d2 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -144,6 +144,14 @@ html_experimental_html5_writer = True # a list of builtin themes. html_theme = 'basic' +html_context = { + 'discord_invite': 'https://discord.gg/r3sSKJJ', + 'discord_extensions': [ + ('discord.ext.commands', 'ext/commands'), + ('discord.ext.tasks', 'ext/tasks'), + ], +} + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. @@ -326,3 +334,4 @@ texinfo_documents = [ def setup(app): if app.config.language == 'ja': app.config.intersphinx_mapping['py'] = ('https://docs.python.org/ja/3', None) + app.config.html_context['discord_invite'] = 'https://discord.gg/nXzj3dg' |