From 5e9711fe58cd3bd84523e6f2b8b69ab177c13227 Mon Sep 17 00:00:00 2001 From: Po Lu Date: Wed, 16 Aug 2023 20:35:08 +0800 Subject: [PATCH] ; * etc/MACHINES (Android): Clarify a minor point. --- etc/MACHINES | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/etc/MACHINES b/etc/MACHINES index 7e94140a251..c9f6ec265d8 100644 --- a/etc/MACHINES +++ b/etc/MACHINES @@ -147,7 +147,9 @@ the list at the end of this file. GUI capabilities provided by the Android port. We do not know exactly which configurations this works on, but the installation instructions for such a build should be the same as for any Unix - system. + system. (This does in turn imply that such a build must be carried + out on an Android device itself utilizing development tools provided + by third party package repositories.) * Obsolete platforms -- 2.39.2