Set-up Sphinx theme depending on its version

diff --git a/doc/dev/conf.py.in b/doc/dev/conf.py.in
index 5edc80e27490b9a5f2c679f1aad46f514af5bc19..fd689b59d88f5467f45a938ccc678e56543145d4 100644 (file)
--- 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']