From 0e5de145897b8369666b05c4e63b5ede682e2283 Mon Sep 17 00:00:00 2001 From: Julien Rouhaud Date: Wed, 6 Dec 2023 14:29:47 +0100 Subject: [PATCH] Always use the sphinx_rtd_theme theme --- docs/conf.py | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 259e28d..ebc771a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -88,14 +88,9 @@ todo_include_todos = True # #html_theme = 'alabaster' -# on_rtd is whether we are on readthedocs.io, this line of code grabbed from -# docs.readthedocs.io -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()] +import sphinx_rtd_theme +html_theme = 'sphinx_rtd_theme' +html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # otherwise, readthedocs.io uses their theme by default, so no need to specify it