From 736478a1c7cd798cd7a603b92a5ac7dff692349b Mon Sep 17 00:00:00 2001 From: Niklas Fiekas Date: Tue, 2 May 2023 20:58:22 +0200 Subject: [PATCH] Work around jQuery removed from Sphinx (fixes #1006) --- docs/conf.py | 7 ++++++- docs/requirements.txt | 1 + 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index bde54010b..ede90b63b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -15,7 +15,12 @@ } # Autodoc. -extensions = ["sphinx.ext.autodoc", "sphinx.ext.viewcode", "sphinx.ext.intersphinx"] +extensions = [ + "sphinx.ext.autodoc", + "sphinx.ext.viewcode", + "sphinx.ext.intersphinx", + "sphinxcontrib.jquery" +] autodoc_member_order = "bysource" intersphinx_mapping = { "python": ("https://docs.python.org/3", None), diff --git a/docs/requirements.txt b/docs/requirements.txt index 8f65fe1fd..d99b8c473 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1 +1,2 @@ Sphinx==6.1.2 +sphinxcontrib-jquery==4.1