summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/docs.yml2
-rw-r--r--docs/develop/gettingstarted.rst2
-rw-r--r--docs/requirements.txt2
3 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index afc3166f3..a0105d6ca 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -17,6 +17,6 @@ jobs:
- uses: actions/checkout@v4
- uses: actions/setup-python@v4
- name: Install Python packages
- run: pip install Sphinx
+ run: pip install -r docs/requirements.txt
- name: Build docs
run: make -C docs/ html
diff --git a/docs/develop/gettingstarted.rst b/docs/develop/gettingstarted.rst
index 34ca1c9c6..a17a32067 100644
--- a/docs/develop/gettingstarted.rst
+++ b/docs/develop/gettingstarted.rst
@@ -245,7 +245,7 @@ that you use a virtual environment:
$ python3 -m venv env
$ source env/bin/activate
- $ pip install sphinx
+ $ pip install -r docs/requirements.txt
Navigate to the ``docs`` directory:
diff --git a/docs/requirements.txt b/docs/requirements.txt
new file mode 100644
index 000000000..824e9799c
--- /dev/null
+++ b/docs/requirements.txt
@@ -0,0 +1,2 @@
+sphinx~=7.2.6
+sphinxcontrib.jquery==4.1