From c88e3cedf44c257a9dc4c00017114fca3f4e58c0 Mon Sep 17 00:00:00 2001 From: John Anderson Date: Mon, 9 Feb 2015 13:50:29 -0800 Subject: Allow better usage of docs locally. This will default to the rtd theme and introduces tox -e docs for generating docs locally. --- docs/conf.py | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'docs/conf.py') diff --git a/docs/conf.py b/docs/conf.py index 9e95f79..25b3d4d 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -262,3 +262,10 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False + +on_rtd = os.environ.get('READTHEDOCS', None) == 'True' + +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()] -- cgit v1.2.1