From 2ce0a911f993f074e49f59f5f76dab2305c25fc2 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 14 Sep 2020 00:40:58 +0200
Subject: [PATCH] docs: we need a recent version of sphinx_tabs for sphinx 2

---
 docs/requirements.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index a3e1aa5377..f357a3bd96 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,5 @@
 breathe
 sphinx>=3.2.1
 sphinx_rtd_theme
-sphinx_tabs
+# sphinx_tabs v1.2.1 is required for Sphinx 2
+sphinx_tabs>=1.2.1
-- 
2.20.1