diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-06-19 19:25:08 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-06-19 19:26:18 +0900 |
| commit | 521a47b0339dcfa97f36566ae92e85e194b15eec (patch) | |
| tree | 7d4e24c56317620ef70bfc8e1530eeb7aa21a465 /doc/conf.py | |
| parent | e081194d1de52f06e85d0ff48be4a5758e6b2949 (diff) | |
| download | sphinx-git-521a47b0339dcfa97f36566ae92e85e194b15eec.tar.gz | |
Fix #10574: Failed to search on sphinx-doc.org (again)
To make RtD search available, this adds jQuery patches on old Sphinx to
sphinx-doc.org.
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 8b04c8fe5..8fe5d30e3 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -178,9 +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) + # Load jQuery and patches 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) + app.add_js_file('_sphinx_javascript_frameworks_compat.js', priority=200) # workaround for RTD from sphinx.util import logging |