From 1719d067dc45b5b148498b1148a48aca02d78c13 Mon Sep 17 00:00:00 2001 From: Cary Phillips Date: Wed, 13 Mar 2024 17:49:45 -0700 Subject: [PATCH] Pin RTD to sphinx 5.3 (#1673) Sphinx handling of `html_logo` and `html_favicon` changed in version 6, but changing to the documented logo_url and favicon_url still doesn't work for some reason. But Sphinx 5.3 works, so let's pin to that. This will need to get sorted out at some point, when there's a need to move to a newer sphinx. Signed-off-by: Cary Phillips --- website/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/requirements.txt b/website/requirements.txt index 52636e9869..2bc15aaa88 100644 --- a/website/requirements.txt +++ b/website/requirements.txt @@ -1,3 +1,3 @@ -sphinx >= 5.0 +sphinx == 5.3 breathe sphinx-press-theme