Remove unused Sphinx extensions

Removed unused Sphinx extensions from the configuration.
This commit is contained in:
Tom van Woudenberg 2026-03-30 09:30:04 +02:00 • committed by GitHub
parent 41e456bf7f
commit 033ec8a566
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -17,8 +17,6 @@ sphinx:
- teachbooks_favourites
- teachbooks_sphinx_grasple
- sphinx_apa_references
- sphinx_gated_directives
- sphinx_sticky_margin
config:
language: en
html_js_files: