Merge pull request #8739 from ThomasWaldmann/update2-rtd-master

docs: add sphinxcontrib.jquery
This commit is contained in:
TW 2025-04-10 20:10:21 +02:00 committed by GitHub
commit 0eef4abd59
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 5 additions and 3 deletions

View file

@ -104,15 +104,13 @@ import guzzle_sphinx_theme
html_theme_path = guzzle_sphinx_theme.html_theme_path()
html_theme = "guzzle_sphinx_theme"
# Register the theme as an extension to generate a sitemap.xml
extensions.append("guzzle_sphinx_theme")
def set_rst_settings(app):
app.env.settings.update({"field_name_limit": 0, "option_limit": 0})
def setup(app):
app.setup_extension("sphinxcontrib.jquery")
app.add_css_file("css/borg.css")
app.connect("builder-inited", set_rst_settings)
@ -246,6 +244,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 = {

View file

@ -1,2 +1,3 @@
sphinx
sphinxcontrib-jquery
guzzle_sphinx_theme

View file

@ -48,6 +48,7 @@ commands = mypy --ignore-missing-imports
changedir = docs
deps =
sphinx
sphinxcontrib-jquery
guzzle_sphinx_theme
commands =
sphinx-build -n -v -W --keep-going -b html -d {envtmpdir}/doctrees . {envtmpdir}/html