brainfart when configuring readthedocs theme

2021-04-23 19:14:49 +02:00 · 2021-04-23 19:14:49 +02:00 · 4ff9be4061
commit 4ff9be4061
parent 2810fb53a2
1 changed files with 1 additions and 4 deletions
--- a/sphinx-docs/source/conf.py
+++ b/sphinx-docs/source/conf.py
@ -75,9 +75,6 @@ sys.path.insert(0, os.path.abspath('../../'))
 if os.getenv('READTHEDOCS', False):
    import sphinx_rtd_theme

-    extensions = [
-        ...
-        "sphinx_rtd_theme",
-    ]
+    extensions.append("sphinx_rtd_theme")

    html_theme = "sphinx_rtd_theme"