2
0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-12-22 17:29:27 +01:00

Select HTML theme depending on Sphinx version.

The 'default' theme has been renamed to 'classic' for Sphinx >= 1.3.
This commit is contained in:
Thomas Moschny 2015-10-24 13:50:53 +02:00
parent e3ac7630eb
commit 95ff02b7ad

View File

@ -396,7 +396,11 @@ 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'
from sphinx import version_info
if (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