Skip to content
Snippets Groups Projects
Commit 5228854f authored by Damien George's avatar Damien George
Browse files

docs: Fix RTD build configuration.

ReadTheDocs needs the root directory in its search path so it finds
topindex.html.
parent d1b42d7b
No related branches found
No related tags found
No related merge requests found
...@@ -114,6 +114,8 @@ if not on_rtd: # only import and set the theme if we're building docs locally ...@@ -114,6 +114,8 @@ if not on_rtd: # only import and set the theme if we're building docs locally
except: except:
html_theme = 'default' html_theme = 'default'
html_theme_path = ['.'] html_theme_path = ['.']
else:
html_theme_path = ['.']
# Theme options are theme-specific and customize the look and feel of a theme # Theme options are theme-specific and customize the look and feel of a theme
# further. For a list of options available for each theme, see the # further. For a list of options available for each theme, see the
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment