Let "python3" be set at the commandline.

ericsnowcurrently · ericsnowcurrently · commit 41878723fd82 · 2024-08-19T17:34:37.000-06:00
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -4,7 +4,7 @@
 #
 
 # You can set these variables from the command line.
-PYTHON       = python3
+PYTHON       ?= python3
 VENVDIR      = ./venv
 UV           = uv
 SPHINXBUILD  = PATH=$(VENVDIR)/bin:$$PATH sphinx-build

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`#`
`5`	`5`
`6`	`6`	`# You can set these variables from the command line.`
`7`		`-PYTHON = python3`
	`7`	`+PYTHON ?= python3`
`8`	`8`	`VENVDIR = ./venv`
`9`	`9`	`UV = uv`
`10`	`10`	`SPHINXBUILD = PATH=$(VENVDIR)/bin:$$PATH sphinx-build`