RTD theme fix (#1122)

* pip sphinx-rtd-theme

* Bump sphinx

* Add extension

* Add docs/requirements.txt

* CL
This commit is contained in:
Stéphane Bruckert authored and GitHub committed 2024-05-28 09:08:23 +01:00
1 parent 2d1cb99be7
commit 1ce8c4f06b
5 files changed
+11 -7

No files matched your search

+2
View File
@@ -0,0 +1,2 @@
Sphinx~=7.3.7
sphinx-rtd-theme~=2.0.0