From e6a1351e696acedcb58ba833df239af2e7d94ed6 Mon Sep 17 00:00:00 2001 From: rnv Date: Thu, 9 Aug 2018 19:37:14 +0300 Subject: [PATCH] Detect sphinx theme directly in conf.py.in file --- doc/conf.py.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/conf.py.in b/doc/conf.py.in index 8bffbc9..0a95751 100644 --- a/doc/conf.py.in +++ b/doc/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 @@ -95,7 +96,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' # The name for this set of Sphinx documents. If None, it defaults to # " v documentation". -- 2.39.2