Docs/hotfix (#1052)

This commit is contained in:
Michael Panchenko 2024-02-12 18:54:38 +01:00 committed by GitHub
parent 7a30b842b6
commit 5cc51145da
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -101,14 +101,6 @@ sphinx:
local_extensions : # A list of local extensions to load by sphinx specified by "name: path" items
recursive_update : false # A boolean indicating whether to overwrite the Sphinx config (true) or recursively update (false)
config : # key-value pairs to directly over-ride the Sphinx configuration
html_static_path: ["_static"]
# Needed for vegaEmbed and jquery used in benchmark.js and copybutton.js
# We include copies for local, offline development
html_js_files:
- vega@5.js
- vega-embed@5.js
- vega-lite@5.js
- jquery-1.12.4.min.js
autodoc_typehints_format: "short"
html_js_files:
# We have to list them explicitly because they need to be loaded in a specific order