docs: drop redundant sphinxcontrib.jquery setup_extension call

sphinxcontrib.jquery is already registered in the extensions list, so
the explicit app.setup_extension("sphinxcontrib.jquery") in setup() is
redundant.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
This commit is contained in:
Thomas Waldmann
2026-06-30 21:46:33 +02:00
co-authored by Claude Opus 4.8
parent 8addc58416
commit 294105586b
-1
View File
@@ -110,7 +110,6 @@ def set_rst_settings(app):
def setup(app):
app.setup_extension("sphinxcontrib.jquery")
app.add_css_file("css/borg.css")
app.connect("builder-inited", set_rst_settings)