define html_theme as rtd workaround (#615)

uqfoundation · Aug 26, 2023 · b66411e · b66411e
1 parent 78bf5b9
commit b66411e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -138,6 +138,8 @@
    #import sphinx_rtd_theme
    #html_theme = 'sphinx_rtd_theme'
    #html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+else:
+    html_theme = 'sphinx_rtd_theme'
 
 # 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