From 67ba5d189c4eb7412e068f286f1c8f67cca6a909 Mon Sep 17 00:00:00 2001
From: Scott Main <smain@google.com>
Date: Mon, 12 Nov 2012 11:22:59 -0800
Subject: docs: 7 tap instructions for dev options

Change-Id: I42867cdf962c0c4231d6037737226381220c6ecf
---
 docs/html/tools/index.jd | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'docs/html')

diff --git a/docs/html/tools/index.jd b/docs/html/tools/index.jd
index 7d47a72608e2..38401aa6a028 100644
--- a/docs/html/tools/index.jd
+++ b/docs/html/tools/index.jd
@@ -54,10 +54,11 @@ page.title=Developer Tools
     updates on GPU views and hardware layers, touch location, and others.</li>
   <li>Plus many more options to simulate app stresses or enable debugging options.</li>
 </ul>
-<p>To access these on your device, open <em>Developer options</em> in the system Settings.
-If your device is running Android 4.2 or higher, you can access the settings with the
-<a href="http://play.google.com/store/apps/details?id=com.android.development_settings">Developer
-Settings</a> app.</p>
+<p>To access these on your device, open the <em>Developer options</em> in the
+system Settings. Note that on Android 4.2 and higher, the Developer options screen is
+hidden by default. To make it available, go to
+<b>Settings > About phone</b> and tap <b>Build number</b> seven times. Return to the previous
+screen to find Developer options.</p>
 
 </div>
 
-- 
cgit v1.2.3-59-g8ed1b