From c4f24fd98334238327e012d534a9607955e05a4a Mon Sep 17 00:00:00 2001 From: vsr Date: Fri, 22 Jan 2016 18:39:17 +0300 Subject: [PATCH] Set-up Sphinx theme depending on its version --- doc/dev/conf.py.in | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/doc/dev/conf.py.in b/doc/dev/conf.py.in index 5edc80e2..fd689b59 100644 --- a/doc/dev/conf.py.in +++ b/doc/dev/conf.py.in @@ -103,11 +103,8 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. Major themes that come with # Sphinx are currently 'default' and 'sphinxdoc'. -html_theme = 'classic' -html_theme_options = { - "stickysidebar": "false", - "rightsidebar": "false", -} +html_theme = '@SPHINX_THEME@' +#html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = ['themes'] -- 2.39.2