mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-20 14:07:05 +08:00
Hopefully fixed issue with RTD html building
This commit is contained in:
1 parent
e94376095f
commit
e12c8371dd
1 file changed
+2
-5
+2
-5
@@ -167,6 +167,8 @@ html_static_path = ['_static']
|
|||||||
# Output file base name for HTML help builder.
|
# Output file base name for HTML help builder.
|
||||||
htmlhelp_basename = 'Jedidoc'
|
htmlhelp_basename = 'Jedidoc'
|
||||||
|
|
||||||
|
html_style = '' # Force usage of default template on RTD
|
||||||
|
|
||||||
|
|
||||||
# -- Options for LaTeX output --------------------------------------------------
|
# -- Options for LaTeX output --------------------------------------------------
|
||||||
|
|
||||||
@@ -249,8 +251,3 @@ todo_include_todos = False
|
|||||||
# -- Options for autodoc module ------------------------------------------------
|
# -- Options for autodoc module ------------------------------------------------
|
||||||
|
|
||||||
autodoc_default_flags = ['members', 'undoc-members']
|
autodoc_default_flags = ['members', 'undoc-members']
|
||||||
|
|
||||||
|
|
||||||
# -- Options for readthedocs ---------------------------------------------------
|
|
||||||
|
|
||||||
html_style = True # Force usage of default template on RTD
|
|
||||||
Reference in new issue
Block a user