From a57ab8d684eb9b6222e74c7565adeef602f6c998 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 25 Jun 2021 11:02:17 +0200
Subject: [PATCH] Disallow sphinx>=4.0 for now: it's breaking on CI

Exception occurred:
  File /usr/lib/python3/dist-packages/docutils/nodes.py, line 625, in __getitem__
    return self.attributes[key]
KeyError: 'domain'
---
 docs/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/requirements.txt b/docs/requirements.txt
index 401e2dc0f1..4466c18bea 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,5 +1,5 @@
 breathe
-sphinx>=3.4.3
+sphinx>=3.4.3,<4.0
 sphinx_rtd_theme
 # sphinx_tabs v1.2.1 is required for Sphinx 2
 sphinx_tabs>=1.2.1
-- 
2.20.1