FWGS
/
waf
mirror of https://gitlab.com/ita1024/waf.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1646 from thmo/sphinx12 

Select HTML theme depending on Sphinx version.
This commit is contained in:
ita1024 2015-10-24 16:17:37 +02:00
parent e3ac7630eb ab3b16059f
commit e99ddb3fd4
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
docs/sphinx/conf.py
View File

@ -396,7 +396,14 @@ pygments_style = 'sphinx'
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
html_theme = 'classic'
try:
from sphinx import version_info
except ImportError:
version_info = None
if version_info and (1, 3) <= version_info:
html_theme = 'classic'
else:
html_theme = 'default'
# 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