diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-06-19 18:25:29 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-06-19 18:35:45 +0900 |
| commit | a06c49105ba74979eace64d1997788aa22080431 (patch) | |
| tree | 65544577a7fec4223045b9efcc6ea496f69ac347 | |
| parent | fcc238a21dfcf558c582c73dccc350d7d4e2e8fe (diff) | |
| download | sphinx-git-a06c49105ba74979eace64d1997788aa22080431.tar.gz | |
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.
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
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__) |