doc/conf.py: Use sphinx_rtd_theme also when on_rtd

Do not rely on it being set implicitly by readthedocs. It's not anymore.
zeek · Nov 3, 2023 · 88fc6b4 · 88fc6b4
1 parent 5b6d1dd
commit 88fc6b4
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -119,14 +119,7 @@
 
 # -- Options for HTML output ----------------------------------------------
 
-on_rtd = os.environ.get("READTHEDOCS", None) == "True"
-
-if not on_rtd:
-    # only import and set the theme if we're building docs locally
-    import sphinx_rtd_theme
-
-    html_theme = "sphinx_rtd_theme"
-    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+html_theme = "sphinx_rtd_theme"
 
 html_theme_options = {
     "collapse_navigation": False,