From 03df65e77b57148c2a8fdfe3466567d7faa7fac8 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Fri, 15 Jul 2022 14:55:08 +0300
Subject: [PATCH] Docs: Allow setting Python interpreter via command line

---
 docs/Makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 309fc4458..f11d6b189 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -2,8 +2,9 @@
 #
 
 # You can set these variables from the command line.
+PYTHON        = python3
 SPHINXOPTS    =
-SPHINXBUILD   = python3 -m sphinx.cmd.build
+SPHINXBUILD   = $(PYTHON) -m sphinx.cmd.build
 PAPER         =
 BUILDDIR      = _build
 
@@ -42,8 +43,8 @@ clean:
 	-rm -rf $(BUILDDIR)/*
 
 install-sphinx:
-	python3 -c "import sphinx" > /dev/null 2>&1 || python3 -m pip install sphinx
-	python3 -c "import furo" > /dev/null 2>&1 || python3 -m pip install furo
+	$(PYTHON) -c "import sphinx" > /dev/null 2>&1 || $(PYTHON) -m pip install sphinx
+	$(PYTHON) -c "import furo" > /dev/null 2>&1 || $(PYTHON) -m pip install furo
 
 html:
 	$(MAKE) install-sphinx
@@ -179,4 +180,4 @@ livehtml: html
 	livereload $(BUILDDIR)/html -p 33233
 
 serve:
-	cd $(BUILDDIR)/html; python3 -m http.server
+	cd $(BUILDDIR)/html; $(PYTHON) -m http.server