[4.1] ce824e2 Add a very crude hack to detect what the default sphinx theme is called.

Federico G. Schwindt fgsch at lodoss.net
Wed Jun 15 13:54:10 CEST 2016


commit ce824e24df695d73060e8bb6693992c93640b32e
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Wed Mar 23 22:56:07 2016 +0000

    Add a very crude hack to detect what the default sphinx theme is called.

diff --git a/doc/sphinx/conf.py.in b/doc/sphinx/conf.py.in
index 5e411b6..30c527a 100644
--- a/doc/sphinx/conf.py.in
+++ b/doc/sphinx/conf.py.in
@@ -91,7 +91,12 @@ 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 = 'default'
+
+import sphinx
+if sphinx.__version__ >= '1.3.1':
+	html_theme = 'classic'
+else:
+	html_theme = 'default'
 
 # 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



More information about the varnish-commit mailing list