From c7f63e1565cbbada9aff6b5d0b52a5eb38d5e888 Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Fri, 22 Jan 2016 19:11:34 +0300
Subject: [PATCH] Set-up Sphinx theme depending on its version

---
 doc/conf.py.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/conf.py.in b/doc/conf.py.in
index 9569f9d..d2d19d3 100644
--- a/doc/conf.py.in
+++ b/doc/conf.py.in
@@ -95,7 +95,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 = 'default'
+html_theme = '@SPHINX_THEME@'
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
-- 
2.39.2