Pin sphinx to 7.1.2

The build distro does not yet support 7.2+. 7.1 is the latest available. Signed-off-by: Cary Phillips <[email protected]>
cary-ilm · Apr 9, 2024 · d669510 · d669510
1 parent 9aa1484
commit d669510
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/website/requirements.txt b/website/requirements.txt
@@ -1,3 +1,3 @@
-sphinx == 7.2.6
+sphinx == 7.1.2
 breathe
 sphinx-press-theme