explicitly install sphinx_rtd_theme

KenKundert · Oct 29, 2023 · 9a17f82 · 9a17f82
1 parent 01e4776
commit 9a17f82
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -1,2 +1,3 @@
 docutils!=0.18
     # There is an incompatibility between Sphinx and docutils version 0.18.
+sphinx_rtd_theme