diff options
| author | ernado <ernado@ya.ru> | 2014-07-23 12:23:21 +0400 |
|---|---|---|
| committer | ernado <ernado@ya.ru> | 2014-07-23 12:23:21 +0400 |
| commit | 3333577e06278b8799a1d3b8dfd59ee0fa3f6c6f (patch) | |
| tree | 29b4f7a6d42bdc7f1484f26a334a5e1fadb0ec8b /docs | |
| parent | 181e7a547a7068a4085a1419739f06317de43ae1 (diff) | |
| download | seaweedfs-3333577e06278b8799a1d3b8dfd59ee0fa3f6c6f.tar.xz seaweedfs-3333577e06278b8799a1d3b8dfd59ee0fa3f6c6f.zip | |
read the docs fix
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py index f88ed8286..8ba3bd55a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -257,8 +257,10 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False -import sphinx_rtd_theme +# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org +on_rtd = os.environ.get('READTHEDOCS', None) == 'True' -html_theme = "sphinx_rtd_theme" - -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
\ No newline at end of file +if not on_rtd: # only import and set the theme if we're building docs locally + import sphinx_rtd_theme + html_theme = 'sphinx_rtd_theme' + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
\ No newline at end of file |