; * etc/MACHINES (Android): Clarify a minor point.

diff --git a/etc/MACHINES b/etc/MACHINES
index 7e94140a251569131165ea0cc05c3cd3cba82684..c9f6ec265d819b80637e5f44448631d86146f8b5 100644 (file)
--- 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.)
 
 \f
 * Obsolete platforms