From cc0f633b5b0aa9be87cd2cc6f90210519e81fd38 Mon Sep 17 00:00:00 2001 From: Martin Durant Date: Thu, 24 Aug 2023 16:18:24 -0400 Subject: [PATCH] rtd --- docs/source/conf.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 92bc5b72..c6e176d2 100755 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -132,10 +132,9 @@ def __getattr__(cls, name): # on_rtd is whether we are on 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()] # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the