From 19132ae0e322fccfae2b57b52343215f9edac16b Mon Sep 17 00:00:00 2001
From: Egor Savkin <es@m-labs.hk>
Date: Tue, 18 Jun 2024 12:12:15 +0800
Subject: [PATCH] Fix missing jquery in docs - fixes broken search

Signed-off-by: Egor Savkin <es@m-labs.hk>
---
 doc/manual/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/manual/conf.py b/doc/manual/conf.py
index 2396b497a..49c1e068b 100644
--- a/doc/manual/conf.py
+++ b/doc/manual/conf.py
@@ -79,6 +79,7 @@ extensions = [
     'sphinx.ext.napoleon',
     'sphinxarg.ext',
     'sphinxcontrib.wavedrom',  # see also below for config
+    "sphinxcontrib.jquery",
 ]
 
 mathjax_path = "https://m-labs.hk/MathJax/MathJax.js?config=TeX-AMS-MML_HTMLorMML.js"