From e9e286aeaa171a9046a7afec25d6b975f410b64d Mon Sep 17 00:00:00 2001 From: vsr Date: Wed, 20 Jan 2016 16:38:04 +0300 Subject: [PATCH] Set-up Sphinx theme depending on its version (see KERNEL module) --- doc/dev/sphinx/conf.py.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dev/sphinx/conf.py.in b/doc/dev/sphinx/conf.py.in index e71a94f59..e13359b3a 100644 --- a/doc/dev/sphinx/conf.py.in +++ b/doc/dev/sphinx/conf.py.in @@ -103,7 +103,7 @@ 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 = 'basic' +html_theme = '@SPHINX_THEME@' html_theme_options = { "stickysidebar": "false", "rightsidebar": "false", -- 2.39.2