From 2e13f0bf82872225c60735183cb9b9eaaaf9d19b Mon Sep 17 00:00:00 2001
From: Serge Cohen <serge1cohen@free.fr>
Date: Mon, 29 Jan 2018 13:47:14 +0100
Subject: Deactivate sphinx_tabs extension.

Gbp-Pq: Name 0001-Deactivate-sphinx_tabs-extension.patch
---
 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']
-- 
cgit v1.2.3