Skip to content

Commit

Permalink
Attempt to fix rtd
Browse files Browse the repository at this point in the history
  • Loading branch information
dfelinto committed Jun 18, 2015
1 parent 2be7275 commit 3cd1857
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions manual/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -115,9 +115,13 @@ def exec_file(fn):
# -- Options for HTML output ---------------------------------------------------

# use http://read-the-docs.readthedocs.org/en/latest/theme.html if available.
try:
import sphinx_rtd_theme
except ImportError:
if os.environ.get('READTHEDOCS', False) != 'True':
try:
import sphinx_rtd_theme
except ImportError:
sphinx_rtd_theme = None
else:
# read the docs use their theme by default, so no need to specify it
sphinx_rtd_theme = None

# The theme to use for HTML and HTML Help pages. See the documentation for
Expand Down

0 comments on commit 3cd1857

Please sign in to comment.