diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-06-19 18:46:37 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-19 18:46:37 +0900 |
| commit | e081194d1de52f06e85d0ff48be4a5758e6b2949 (patch) | |
| tree | 65544577a7fec4223045b9efcc6ea496f69ac347 /doc/conf.py | |
| parent | fcc238a21dfcf558c582c73dccc350d7d4e2e8fe (diff) | |
| parent | a06c49105ba74979eace64d1997788aa22080431 (diff) | |
| download | sphinx-git-e081194d1de52f06e85d0ff48be4a5758e6b2949.tar.gz | |
Merge pull request #10582 from tk0miya/10574_rtd_search
Fix #10574: Failed to search on sphinx-doc.org
Diffstat (limited to 'doc/conf.py')
| -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__) |