From 4e9505e6bb38a3003ab9512984520d38562d5bc5 Mon Sep 17 00:00:00 2001
From: leonarski_f <filip.leonarski@psi.ch>
Date: Fri, 19 Jun 2026 16:06:49 +0200
Subject: [PATCH] make_doc.sh: Use python3

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

diff --git a/make_doc.sh b/make_doc.sh
index b1441e26..c2e11ab4 100644
--- a/make_doc.sh
+++ b/make_doc.sh
@@ -12,7 +12,7 @@ set -euo pipefail
 # The Python interpreter can be overridden with $PYTHON (default: python).
 
 OUT="${1:-public}"
-PYTHON="${PYTHON:-python}"
+PYTHON="${PYTHON:-python3}"
 
 # Resolve the output directory to an absolute path before we change directories.
 mkdir -p "$OUT"