From 9dd40d1b607dae7b943d57a61e83191687a5683e Mon Sep 17 00:00:00 2001 From: Damien George Date: Mon, 18 Sep 2023 11:02:27 +1000 Subject: [PATCH] docs/conf.py: Add sphinxcontrib.jquery to extensions. This is needed by recent versions of sphinx-rtd-theme. Signed-off-by: Damien George --- docs/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/conf.py b/docs/conf.py index a966b3a025..0dbbfe0f70 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -51,6 +51,7 @@ extensions = [ 'sphinx.ext.intersphinx', 'sphinx.ext.todo', 'sphinx.ext.coverage', + 'sphinxcontrib.jquery', ] # Add any paths that contain templates here, relative to this directory.