There was an error while loading. Please reload this page.
1 parent 8186f38 commit fd59b52Copy full SHA for fd59b52
1 file changed
.github/requirements-docs.txt
@@ -0,0 +1,14 @@
1
+# Python dependencies for the Sphinx documentation build (.github/workflows/ci.yml).
2
+# Kept in the repository so actions/setup-python can key its pip cache on it.
3
+#
4
+# Deliberately NOT installed from apt: sphinx-common pulls python3-pil / python3-docutils
5
+# from the runner's stale apt index and shadows this install on PATH.
6
+
7
+sphinx>=7,<9
8
+manticore_sphinx_theme
9
+sphinx_javadoc_xml
10
+myst_parser
11
+sphinx_substitution_extensions
12
+sphinx_issues
13
+sphinx_inline_tabs
14
+pygments
0 commit comments