docs: pin theme version

rtd.io uses a severely outdated theme version with several known bugs by default. Pin to a never version to get the bugfixes.
2021-06-26 20:39:31 +02:00 · 2021-06-26 20:39:31 +02:00 · 32ae071954
parent 028c1de03a
commit 32ae071954
1 changed files with 1 additions and 1 deletions
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@ -1 +1 @@
-sphinx-rtd-theme
+sphinx-rtd-theme==0.5.2