From f33a45436b9b6e188ec85353f79162ae77282048 Mon Sep 17 00:00:00 2001 From: rnv Date: Thu, 9 Aug 2018 19:38:01 +0300 Subject: [PATCH] Detect sphinx theme directly in conf.py.in file --- doc/dev/sphinx/conf.py.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/dev/sphinx/conf.py.in b/doc/dev/sphinx/conf.py.in index 575f204f8..acbf1ff2d 100644 --- 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. -- 2.39.2