Set-up Sphinx theme depending on its version

diff --git a/doc/conf.py.in b/doc/conf.py.in
index f4564a23ca04f4df632ae450b74ae8918bd0763c..d142090171fd2d9b9b8774daad2024df39e65331 100644 (file)
--- a/doc/conf.py.in
+++ b/doc/conf.py.in
@@ -105,7 +105,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 = 'default'
+html_theme = '@SPHINX_THEME@'
 
 # The style sheet to use for HTML and HTML Help pages. A file of that name
 # must exist either in Sphinx' static/ path, or in one of the custom paths