From a06c49105ba74979eace64d1997788aa22080431 Mon Sep 17 00:00:00 2001
From: Takeshi KOMIYA <i.tkomiya@gmail.com>
Date: Sun, 19 Jun 2022 18:25:29 +0900
Subject: [PATCH] Fix #10574: Failed to search on sphinx-doc.org

Since 6.0, jQuery has not been loaded by default.  It affects to the
search feature of RtD.  This loads jQuery again to make it available.
---
 doc/conf.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/conf.py b/doc/conf.py
index ef05016bd..8b04c8fe5 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -178,6 +178,10 @@ def setup(app):
     app.add_object_type('event', 'event', 'pair: %s; event', parse_event,
                         doc_field_types=[fdesc])
 
+    # Load jQuery to make readthedocs-doc-embed.js available (refs: #10574)
+    app.add_js_file('https://ajax.googleapis.com/ajax/libs/jquery/3.6.0/jquery.min.js',
+                    priority=100)
+
     # workaround for RTD
     from sphinx.util import logging
     logger = logging.getLogger(__name__)