From 28388e56aae141a4da812102f65c7c8795bbdcf0 Mon Sep 17 00:00:00 2001
From: Filip Leonarski <filip.leonarski@psi.ch>
Date: Fri, 27 Mar 2026 16:48:03 +0100
Subject: [PATCH] CI: Update documentation procedure

---
 make_doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make_doc.sh b/make_doc.sh
index fba01254..3e2d7167 100644
--- 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