From 51fdb3668414815d6ddab330c37b423b47633255 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Fri, 9 Aug 2019 07:14:04 -0400
Subject: [PATCH] temporarily stop recommending Arch android-tools

---
 static/install.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/static/install.html b/static/install.html
index 90ec2307..072ec1c2 100644
--- a/static/install.html
+++ b/static/install.html
@@ -90,14 +90,14 @@
             scheme for platform-tools (adb, fastboot, etc.) with their own scheme and don't keep
             it up-to-date despite that being crucial.</p>
 
-            <p>List of distributions with proper packages:</p>
+            <!--<p>List of distributions with proper packages:</p>-->
 
-            <ul>
-                <li>Arch Linux: <code>android-tools</code> for fastboot (along with adb and other
-                    tools, although they aren't necessary to install) and
-                    <code>android-udev</code> for udev rules to make fastboot / adb work in local
-                    sessions without root</li>
-            </ul>
+            <!--<ul>-->
+                <!--<li>Arch Linux: <code>android-tools</code> for fastboot (along with adb and other-->
+                    <!--tools, although they aren't necessary to install) and-->
+                    <!--<code>android-udev</code> for udev rules to make fastboot / adb work in local-->
+                    <!--sessions without root</li>-->
+            <!--</ul>-->
 
             <p>If your distribution doesn't have a proper fastboot package, which is likely,
             consider using the official releases of platform-tools from Google. You can either