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

Make theme selection also work with older Sphinx.

This commit is contained in:
Thomas Moschny 2015-10-24 15:26:46 +02:00
parent 95ff02b7ad
commit ab3b16059f
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
docs/sphinx/conf.py
View File

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