mirror of
https://github.com/Rapptz/discord.py.git
synced 2026-11-07 17:39:03 +00:00
Try to build HTML5 for docs.
This commit is contained in:
1 parent
95c28f08e4
commit
de6cffa347
2 files changed
+3
No files matched your search
@@ -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'
|
||||
|
||||
Reference in new issue
Block a user