From b980e0b828846d4bb607779a685c7462742688ac Mon Sep 17 00:00:00 2001 From: Ander <9and3r@gmail.com> Date: Wed, 20 May 2015 01:38:41 +0200 Subject: [PATCH] Doc theme removed --- docs/conf.py | 6 ------ 1 file changed, 6 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 6572dc1..7718a9c 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -285,10 +285,4 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False -# 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' -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()]