add option to execute quickstart in build (#1144)

tardis-sn · May 13, 2020 · 5f68dbd · 5f68dbd
1 parent 24b4bb5
commit 5f68dbd
Show file tree

Hide file tree

Showing 3 changed files with 173 additions and 1,001 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -130,7 +130,7 @@
 # name of a builtin theme or the name of a custom theme in html_theme_path.
 #html_theme = None
 html_theme = 'sphinx_rtd_theme'
-html_theme_path = sphinx_rtd_theme.get_html_theme_path()
+html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 # Custom sidebar templates, maps document names to template names.
 #html_sidebars = {}