Detect sphinx theme directly in conf.py.in file

diff --git a/doc/en/conf.py.in b/doc/en/conf.py.in
index e7c901e51128c33d754c4039f2f57fcc7b7d0bbd..650691b0c5e3ee318ceb220fc38db75e026eeb48 100644 (file)
--- a/doc/en/conf.py.in
+++ b/doc/en/conf.py.in
@@ -12,6 +12,7 @@
 # serve to show the default.
 
 import sys, os
+import sphinx
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -91,7 +92,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 = '@SPHINX_THEME@'
+html_theme = 'default' if sphinx.version_info[:2] < (1,3) else 'classic'
 
 # 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 0929a20bd8f9801b73ca42974feab8e1a2c0900d..62fb135b9fe059c40c1486c1a6665b43ebff408e 100644 (file)
--- a/doc/fr/conf.py.in
+++ b/doc/fr/conf.py.in
@@ -12,6 +12,7 @@
 # serve to show the default.
 
 import sys, os
+import sphinx
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -91,7 +92,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 = '@SPHINX_THEME@'
+html_theme = 'default' if sphinx.version_info[:2] < (1,3) else 'classic'
 
 # 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