Merge pull request #733 from marcelm/doc

Add sphinx-rtd-theme
marcelm · Oct 4, 2023 · ed7ec8d · ed7ec8d
2 parents bd12117 + 722c2af
commit ed7ec8d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -1,3 +1,5 @@
+sphinx
+sphinx-rtd-theme
 sphinx_issues
 sphinx_better_subsection
 setuptools_scm