diff options
| -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__) |