Set-up Sphinx theme depending on its version

diff --git a/doc/en/conf.py.in b/doc/en/conf.py.in
index 9de56297401ce39f46dfe82a6ab0ebbc5b0c98b2..f9e2ce0f3cc7ed58d1964c14e603193510e57345 100644 (file)
--- a/doc/en/conf.py.in
+++ b/doc/en/conf.py.in
@@ -91,7 +91,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@'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the

diff --git a/doc/fr/conf.py.in b/doc/fr/conf.py.in
index 02608f2aff16d307ee09ecfb1802f2f1cc9938ee..a842b9099c219ca6bac13c1e9894c3b21959bd13 100644 (file)
--- a/doc/fr/conf.py.in
+++ b/doc/fr/conf.py.in
@@ -91,7 +91,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@'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the