From cc9cc822605ddd753ba91846b7913fc515ee4547 Mon Sep 17 00:00:00 2001
From: Anthonios Partheniou <partheniou@google.com>
Date: Wed, 10 Aug 2022 17:05:46 +0000
Subject: [PATCH] pin sphinx

---
 noxfile.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/noxfile.py b/noxfile.py
index 0e65692e..576a616c 100644
--- a/noxfile.py
+++ b/noxfile.py
@@ -79,7 +79,7 @@ def unitupb(session):
 def docs(session):
     """Build the docs."""
 
-    session.install("sphinx", "sphinx_rtd_theme")
+    session.install("sphinx==4.2.0", "sphinx_rtd_theme")
     session.install(".")
 
     # Build the docs!