From a924ff0a0bebc61a266d493a0d2bcd541e73053e Mon Sep 17 00:00:00 2001 From: rnv Date: Thu, 9 Aug 2018 19:34:43 +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 59c9455..b6822a5 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 @@ -105,7 +106,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 style sheet to use for HTML and HTML Help pages. A file of that name # must exist either in Sphinx' static/ path, or in one of the custom paths -- 2.39.2