Skip to content

Commit

Permalink
fix readthedocs.org builds for sphinx_rtd_theme, copying what circuit…
Browse files Browse the repository at this point in the history
  • Loading branch information
todbot committed Aug 25, 2023
1 parent 549f502 commit f1b3bfe
Showing 1 changed file with 22 additions and 16 deletions.
38 changes: 22 additions & 16 deletions docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -110,22 +110,28 @@

# -- Options for HTML output ----------------------------------------------

# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
on_rtd = os.environ.get("READTHEDOCS", None) == "True"

if not on_rtd: # only import and set the theme if we're building docs locally
try:
import sphinx_rtd_theme

html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path(), "."]
except:
html_theme = "default"
html_theme_path = ["."]
else:
html_theme_path = ["."]
import sphinx_rtd_theme

html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path(), "."]


# # The theme to use for HTML and HTML Help pages. See the documentation for
# # a list of builtin themes.
# #
# on_rtd = os.environ.get("READTHEDOCS", None) == "True"

# if not on_rtd: # only import and set the theme if we're building docs locally
# try:
# import sphinx_rtd_theme

# html_theme = "sphinx_rtd_theme"
# html_theme_path = [sphinx_rtd_theme.get_html_theme_path(), "."]
# except:
# html_theme = "default"
# html_theme_path = ["."]
# else:
# html_theme_path = ["."]

# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
Expand Down

0 comments on commit f1b3bfe

Please sign in to comment.