diff --git a/Docs/sphinx_doc/conf.py b/Docs/sphinx_doc/conf.py index e677e62d1..bc27bbfa8 100644 --- a/Docs/sphinx_doc/conf.py +++ b/Docs/sphinx_doc/conf.py @@ -134,7 +134,9 @@ # html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. -# html_theme_path = [] +# Add path to the RTD explicitly to robustify builds +import sphinx_rtd_theme +html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # The name for this set of Sphinx documents. # " v documentation" by default.