summaryrefslogtreecommitdiff
path: root/debian/patches/0001-Deactivate-sphinx_tabs-extension.patch
blob: 654a3280d42846be00550a9bea7cc9c77b248d28 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
From: Serge Cohen <serge1cohen@free.fr>
Date: Mon, 29 Jan 2018 13:47:14 +0100
Subject: Deactivate sphinx_tabs extension.

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

diff --git a/docs/manual/conf.py b/docs/manual/conf.py
index 083d10c..b601a0e 100644
--- a/docs/manual/conf.py
+++ b/docs/manual/conf.py
@@ -33,7 +33,7 @@ release = version
 
 extensions = [
     'sphinx.ext.imgmath',
-    'sphinx_tabs.tabs',
+#    'sphinx_tabs.tabs',
 ]
 
 templates_path = ['_templates']