From 3f7a13d269ecb81011d7bf4f62c84fe50f626d33 Mon Sep 17 00:00:00 2001
From: Peter Cock <p.j.a.cock@googlemail.com>
Date: Mon, 13 Sep 2021 14:51:22 +0100
Subject: [PATCH] Pin last known working version of Sphinx

Was working with 4.1.2, broke with 4.2.0, see
https://github.com/sphinx-doc/sphinx/issues/9631
---
 .circleci/requirements-sphinx.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/requirements-sphinx.txt b/.circleci/requirements-sphinx.txt
index 5f9822ed1e6..58aac6fbf64 100644
--- a/.circleci/requirements-sphinx.txt
+++ b/.circleci/requirements-sphinx.txt
@@ -4,7 +4,7 @@ numpy
 rdflib
 reportlab
 scipy
-sphinx>=3.5.0
+sphinx==4.1.2
 numpydoc==1.0.0
 pygments
 sphinx_rtd_theme