Set-up Sphinx theme depending on its version

diff --git a/doc/conf.py.in b/doc/conf.py.in
index 9569f9d8658c9bd96da699e350e6fe3156cd856b..d2d19d3feb28362e6088870fdae0345ce4d4948b 100644 (file)
--- a/doc/conf.py.in
+++ b/doc/conf.py.in
@@ -95,7 +95,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 name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".