From fbd200d6c9a1358e69bb053882143f1a2f70e317 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Tue, 8 Oct 2019 18:30:36 -0400
Subject: [PATCH] initial SDK update no longer brings platform-tools

---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 65ca9ab9..da4362bb 100644
--- a/static/build.html
+++ b/static/build.html
@@ -718,7 +718,7 @@ rm sdk-tools-linux-4333796.zip</pre>
             <pre>export PATH="$HOME/sdk/tools:$HOME/sdk/tools/bin:$HOME/sdk/platform-tools:$HOME/sdk/build-tools/29.0.2:$PATH:$HOME/sdk/ndk-bundle"
 export ANDROID_HOME="$HOME/sdk"</pre>
 
-            <p>Run an initial update, which will also install platform-tools</p>
+            <p>Run an initial update:</p>
 
             <pre>sdkmanager --update</pre>