From 0a2ab082fe4e32b3419b42c1b0ae0efbb4b036f4 Mon Sep 17 00:00:00 2001
From: Tim Allen <screwtape@froup.com>
Date: Thu, 8 Oct 2020 16:29:26 +1100
Subject: [PATCH] Don't assume a "python" executable exists.

On Debian Linux at least, "python" is Python 2.x, and doesn't exist if only
Python 3.x is installed.
---
 docs/mkdocs.do | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/mkdocs.do b/docs/mkdocs.do
index 388afa9..9d4d36a 100644
--- a/docs/mkdocs.do
+++ b/docs/mkdocs.do
@@ -1,4 +1,4 @@
-redo-ifchange doc.list
+redo-ifchange doc.list ../redo/py
 xargs redo-ifchange ../mkdocs.yml <doc.list
 
 # Most people don't have mkdocs installed, or are using an obsolete one,
@@ -13,7 +13,7 @@ exit(not ok)
 if ! type mkdocs >/dev/null 2>/dev/null; then
 	echo "Warning: mkdocs is missing; can't generate website." >&2
 	redo-ifcreate /usr/bin/mkdocs
-elif ! python -c "$check" "$ver"; then
+elif ! ../redo/py -c "$check" "$ver"; then
 	echo "Warning: mkdocs is too old ($ver); need at least 1.0.4." >&2
 	mkd=$(which mkdocs 2>/dev/null || :)
 	[ -x "$mkd" ] && redo-ifchange "$mkd"