Detect sphinx theme directly in conf.py.in file

diff --git a/doc/dev/sphinx/conf.py.in b/doc/dev/sphinx/conf.py.in
index 575f204f8f0087cec6de46dcd546514ed12fd753..acbf1ff2d3f314043d51f2c3eabd6ce64f2ae3a0 100644 (file)
--- a/doc/dev/sphinx/conf.py.in
+++ b/doc/dev/sphinx/conf.py.in
@@ -12,6 +12,7 @@
 # serve to show the default.
 
 import sys, os
+import sphinx
 
 # If your extensions are in another directory, add it here. If the directory
 # is relative to the documentation root, use os.path.abspath to make it
@@ -103,7 +104,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'
 #html_theme_options = {}
 
 # Add any paths that contain custom themes here, relative to this directory.