diff options
| author | Rapptz <[email protected]> | 2017-09-21 18:04:46 -0400 |
|---|---|---|
| committer | Rapptz <[email protected]> | 2017-09-21 18:04:46 -0400 |
| commit | de6cffa347a031263fb36860a04619bb62c2123d (patch) | |
| tree | f26b6a11f10f35970339d17a0fa5e09f35917525 /docs | |
| parent | Fix sorting for channels. (diff) | |
| download | discord.py-de6cffa347a031263fb36860a04619bb62c2123d.tar.xz discord.py-de6cffa347a031263fb36860a04619bb62c2123d.zip | |
Try to build HTML5 for docs.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index caaa0687..436fcdfb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -128,6 +128,8 @@ pygments_style = 'friendly' # -- Options for HTML output ---------------------------------------------- +html_experimental_html5_writer = True + # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. html_theme = 'basic' |