From b08c3e71be9cfa4f1091b99b372f509399a757c6 Mon Sep 17 00:00:00 2001 From: Philip Durbin Date: Mon, 1 Apr 2024 21:35:33 -0400 Subject: [PATCH] add jQuery to get search working #10455 --- doc/sphinx-guides/requirements.txt | 3 +++ doc/sphinx-guides/source/conf.py | 1 + 2 files changed, 4 insertions(+) diff --git a/doc/sphinx-guides/requirements.txt b/doc/sphinx-guides/requirements.txt index 20daa189037..8eadb843cff 100755 --- a/doc/sphinx-guides/requirements.txt +++ b/doc/sphinx-guides/requirements.txt @@ -8,3 +8,6 @@ myst-parser==2.0.0 # tabs sphinx-tabs==3.4.5 + +# jQuery +sphinxcontrib-jquery diff --git a/doc/sphinx-guides/source/conf.py b/doc/sphinx-guides/source/conf.py index 5a4b124cf2e..6478f15655e 100755 --- a/doc/sphinx-guides/source/conf.py +++ b/doc/sphinx-guides/source/conf.py @@ -42,6 +42,7 @@ 'sphinx.ext.viewcode', 'sphinx.ext.graphviz', 'sphinxcontrib.icon', + 'sphinxcontrib.jquery', 'myst_parser', 'sphinx_tabs.tabs', ]