Mention that Android works

diff --git a/docs/INSTALL b/docs/INSTALL
index 2d0d7f1a212de1dc8883e8acf0183814c686290b..d30a958d66925e8870a167ee4f9a240540d6a282 100644 (file)
--- a/docs/INSTALL
+++ b/docs/INSTALL
@@ -908,6 +908,7 @@ PORTS
         - Alpha OpenVMS V7.1-1H2
         - Alpha Tru64 v5.0 5.1
         - AVR32 Linux
+        - ARM Android 1.5
         - ARM INTEGRITY
         - ARM iPhone OS
         - Cell Linux