diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-11-15 21:33:07 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-11-15 21:33:07 +0000 |
| commit | 5228854f0e026838c21a1e603dab77bb61d2fada (patch) | |
| tree | de5cf3159a10178aa56a111e2e6545de8ddfbd2f | |
| parent | d1b42d7b51c191d1ab3e44d712bc4b534b2d619e (diff) | |
| download | micropython-5228854f0e026838c21a1e603dab77bb61d2fada.tar.gz micropython-5228854f0e026838c21a1e603dab77bb61d2fada.zip | |
docs: Fix RTD build configuration.
ReadTheDocs needs the root directory in its search path so it finds
topindex.html.
| -rwxr-xr-x | docs/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 0eee4c0901..23be2e4897 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -114,6 +114,8 @@ if not on_rtd: # only import and set the theme if we're building docs locally except: html_theme = 'default' html_theme_path = ['.'] +else: + html_theme_path = ['.'] # 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 |