From 5122812ea4c5d92068d0a6927c2d8a74bd37f23f Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Sat, 19 Apr 2025 16:13:20 +0300
Subject: [PATCH] Use same Python in Makefile

Co-authored-by: Andrew Murray <3112309+radarhere@users.noreply.github.com>
---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index f0f6386f7..4412fc806 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -202,7 +202,7 @@ htmlview: html
 	$(PYTHON) -c "import os, webbrowser; webbrowser.open('file://' + os.path.realpath('$(BUILDDIR)/html/index.html'))"
 
 .PHONY: htmllive
-htmllive: SPHINXBUILD = sphinx-autobuild
+htmllive: SPHINXBUILD = $(PYTHON) -m sphinx_autobuild
 htmllive: SPHINXOPTS = --open-browser --delay 0
 htmllive: html