Fix read the doc default theme (#1668)

* Fix doc theme because rtd change default

* Fix doc build
This commit is contained in:
Antonin RAFFIN 2023-09-07 09:53:05 +02:00 committed by GitHub
parent e071796549
commit 57dbefe80c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -112,13 +112,7 @@ pygments_style = "sphinx"
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
# Fix for read the docs
on_rtd = os.environ.get("READTHEDOCS") == "True"
if on_rtd:
html_theme = "default"
else:
html_theme = "sphinx_rtd_theme"
html_theme = "sphinx_rtd_theme"
html_logo = "_static/img/logo.png"