From 95ff02b7add0422188bb50f4d1c730479f5d7626 Mon Sep 17 00:00:00 2001 From: Thomas Moschny Date: Sat, 24 Oct 2015 13:50:53 +0200 Subject: [PATCH] Select HTML theme depending on Sphinx version. The 'default' theme has been renamed to 'classic' for Sphinx >= 1.3. --- docs/sphinx/conf.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/sphinx/conf.py b/docs/sphinx/conf.py index 275fbcc4..424cba2e 100644 --- a/docs/sphinx/conf.py +++ b/docs/sphinx/conf.py @@ -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