From 0183be3b122f4306cf1450ba232f8abcb51a5212 Mon Sep 17 00:00:00 2001
From: "Garth N. Wells" <gnw20@cam.ac.uk>
Date: Tue, 26 Jul 2022 07:54:07 +0100
Subject: [PATCH] Downgrade Sphinx version.

See https://github.com/sphinx-doc/sphinx/issues/10705.
---
 .github/workflows/ccpp.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ccpp.yml b/.github/workflows/ccpp.yml
index 31d9cc514fa..2e3facc2a5d 100644
--- a/.github/workflows/ccpp.yml
+++ b/.github/workflows/ccpp.yml
@@ -138,6 +138,7 @@ jobs:
         run: python3 -m pip -v install --global-option build --global-option --debug python/
       - name: Build Python interface documentation
         run: |
+          python3 -m pip sphinx==5.0.2
           cd python/doc
           make html