##// END OF EJS Templates
readd sphinxrtd theme
Matthias Bussonnier -
Show More
@@ -36,10 +36,10 b' if ON_RTD:'
36 "__name__": "__main__",
36 "__name__": "__main__",
37 },
37 },
38 )
38 )
39 else:
39 import sphinx_rtd_theme
40 import sphinx_rtd_theme
40
41 html_theme = "sphinx_rtd_theme"
41 html_theme = "sphinx_rtd_theme"
42 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
42 html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
43
43
44 # Allow Python scripts to change behaviour during sphinx run
44 # Allow Python scripts to change behaviour during sphinx run
45 os.environ["IN_SPHINX_RUN"] = "True"
45 os.environ["IN_SPHINX_RUN"] = "True"
General Comments 0
You need to be logged in to leave comments. Login now