diff options
| author | Rapptz <[email protected]> | 2019-06-29 02:34:11 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2019-06-29 02:34:11 -0400 |
| commit | c26797d808b213a902ab425b307bc0d109c13ef4 (patch) | |
| tree | 328ce0c044634e5cfc6371f1132aa82f00e1fe27 /docs/conf.py | |
| parent | Disable RTD search. (diff) | |
| download | discord.py-c26797d808b213a902ab425b307bc0d109c13ef4.tar.xz discord.py-c26797d808b213a902ab425b307bc0d109c13ef4.zip | |
Proper RTD detection.
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5f0e7592..e5054a15 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -142,6 +142,10 @@ html_experimental_html5_writer = True # a list of builtin themes. html_theme = 'basic' +html_context = { + 'ON_READTHEDOCS': bool(os.environ.get('READTHEDOCS')) +} + # 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. |