Merge "docs: 7 tap instructions for dev options" into jb-mr1-dev
diff --git a/docs/html/tools/index.jd b/docs/html/tools/index.jd
index 7d47a72..38401aa 100644
--- a/docs/html/tools/index.jd
+++ b/docs/html/tools/index.jd
@@ -54,10 +54,11 @@
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>
