diff options
author | Dmitry Shachnev <mitya57@users.noreply.github.com> | 2023-03-24 00:42:28 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-23 21:42:28 +0000 |
commit | 54f531e978822f9beb595621371cec328eba799b (patch) | |
tree | 3a4f49e10b7abb642365b21ecd168d45d4443b6d /doc/conf.py | |
parent | eda388a506e4c591d18af533bc1ef6369a00090b (diff) | |
download | sphinx-git-54f531e978822f9beb595621371cec328eba799b.tar.gz |
Remove obsolete workarounds in ``doc/conf.py`` (#11250)
Loading jQuery is not needed since January 2023:
https://github.com/readthedocs/readthedocs.org/pull/9861
And exposing app.{info,warn,debug} is not needed since September 2018:
https://github.com/readthedocs/readthedocs-sphinx-ext/pull/51
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/doc/conf.py b/doc/conf.py index b17287d54..60d7a3944 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -181,19 +181,3 @@ def setup(app): names=['param'], can_collapse=True) app.add_object_type('event', 'event', 'pair: %s; event', parse_event, doc_field_types=[fdesc]) - - # 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( - 'https://cdnjs.cloudflare.com/ajax/libs/underscore.js/1.13.1/underscore-min.js', - priority=100, - ) - app.add_js_file('_sphinx_javascript_frameworks_compat.js', priority=105) - - # workaround for RTD - from sphinx.util import logging - logger = logging.getLogger(__name__) - app.info = lambda *args, **kwargs: logger.info(*args, **kwargs) - app.warn = lambda *args, **kwargs: logger.warning(*args, **kwargs) - app.debug = lambda *args, **kwargs: logger.debug(*args, **kwargs) |