Set-up Sphinx theme depending on its version (see KERNEL module)

diff --git a/doc/dev/sphinx/conf.py.in b/doc/dev/sphinx/conf.py.in
index e71a94f59676aca53841edab0ae950a73b357978..e13359b3ac7275d6122d1fae8985e0f402ca178e 100644 (file)
--- 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",