Richard Steinmetz efb80dcb87 fix: pin sphinx-rtd-theme to fix missing jquery lib ...

JQuery was removed as of Sphinx 6. The maintainers of our theme already
reacted to this but the release is not final yet.
Ref https://github.com/sphinx-doc/sphinx/issues/10070
Ref https://github.com/readthedocs/sphinx_rtd_theme/pull/1385

Signed-off-by: Richard Steinmetz <richard@steinmetz.cloud>

2023-01-11 12:47:52 +01:00

210 B

Raw Blame History

View Raw