From 3aac1fe089284fabb65133783855971d170c939c Mon Sep 17 00:00:00 2001 From: Thomas Waldmann Date: Thu, 10 Apr 2025 18:56:25 +0200 Subject: [PATCH] docs: theme fixes - register theme as extension - add sphinxcontrib.jquery The html generated uses jquery ($(...)), but sphinx does not include it anymore since a while. --- docs/conf.py | 3 +++ requirements.d/docs.txt | 1 + 2 files changed, 4 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 8ac407cc6..ad6cf70b0 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -111,6 +111,7 @@ 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) @@ -256,6 +257,8 @@ extensions = [ 'sphinx.ext.todo', 'sphinx.ext.coverage', 'sphinx.ext.viewcode', + 'sphinxcontrib.jquery', # jquery is not included anymore by default + 'guzzle_sphinx_theme', # register the theme as an extension to generate a sitemap.xml ] extlinks = { diff --git a/requirements.d/docs.txt b/requirements.d/docs.txt index b63e8185e..597dd0ec9 100644 --- a/requirements.d/docs.txt +++ b/requirements.d/docs.txt @@ -1,2 +1,3 @@ sphinx +sphinxcontrib-jquery guzzle_sphinx_theme