CI: Update documentation procedure

2026-03-27 16:48:03 +01:00
parent 6133da1377
commit 28388e56aa
1 changed files with 1 additions and 1 deletions
--- a/make_doc.sh
+++ b/make_doc.sh
@@ -1,6 +1,6 @@
 #!/bin/bash

-python3.12 -m venv tmp_venv/
+python3.11 -m venv tmp_venv/
 source tmp_venv/bin/activate

 pip install -r docs/requirements.txt