diff options
| author | Rapptz <[email protected]> | 2019-07-01 00:37:35 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2019-07-01 00:37:35 -0400 |
| commit | 4c917d10dead530273a64919c5fd8a7afec9eafe (patch) | |
| tree | e27cb770c8b836a4f0303ee572a1940e3d316eb1 /docs/conf.py | |
| parent | Flatten genindex to not group names. (diff) | |
| download | discord.py-4c917d10dead530273a64919c5fd8a7afec9eafe.tar.xz discord.py-4c917d10dead530273a64919c5fd8a7afec9eafe.zip | |
Use the standard way of detecting RTD
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py index 92f11c22..563febc2 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -143,10 +143,6 @@ 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. |