am e55d5e86: docs: change "android developer console" to "developer console"

# Via Scott Main
* commit 'e55d5e864b133df8ccf9f92ca4a5d3accb1dab5c':
  docs: change "android developer console" to "developer console"
diff --git a/docs/html/distribute/googleplay/about/distribution.jd b/docs/html/distribute/googleplay/about/distribution.jd
index 982bb1f..e09e300 100644
--- a/docs/html/distribute/googleplay/about/distribution.jd
+++ b/docs/html/distribute/googleplay/about/distribution.jd
@@ -8,13 +8,13 @@
 <h2 id="instant">Instant publishing, instant updates</h2>
 
 <p>On Google Play, you can publish your products to customers instantly. Just
-upload and configure your product in the <span style="font-weight:500;">Google Play Android Developer Console</span>
+upload and configure your product in the <span style="font-weight:500;">Google Play Developer Console</span>
 and press the Publish button&mdash;your app appears in the store listings within
 hours, not weeks.</p>
 
 <p>Once your app is published, you can update it as often as you want. You can
 change prices, configuration, and distribution options at any time through the
-Google Play Android Developer Console, without needing to update your app
+Google Play Developer Console, without needing to update your app
 binary.</p>
 
 <p>Later, as you add features or address code issues, you can publish an updated
@@ -37,7 +37,7 @@
 
 <h3 id="geotargeting">Geographic targeting</h3>
 
-<p>You can use controls in the Google Play Android Developer Console to easily
+<p>You can use controls in the Google Play Developer Console to easily
 manage the geographic distribution of your apps, without any changes in your
 application binary. You can specify which countries and territories you want to
 distribute to, and even which carriers (for some countries). </p>
@@ -45,7 +45,7 @@
 <p>When users visit the store, Google Play makes sure that they are in one of
 your targeted countries before downloading your app. You can change your country
 and carrier targeting at any time just by saving changes in the Google Play
-Android Developer Console.</p>
+Developer Console.</p>
 
 <p>To help you market to users around the world, you
 can <a href="{@docRoot}distribute/googleplay/publish/preparing.html#localize">localize
@@ -72,13 +72,13 @@
 
 <p>For pinpoint control over distribution, Google Play lets you see all of the
 devices your app is available to based on its dependencies (if any). From the
-Google Play Android Developer Console, you can list the supported devices and
+Google Play Developer Console, you can list the supported devices and
 even exclude specific devices if needed.</p>
 
 <h2 id="stats">Statistics for analyzing installs</h2>
 
 <p>Once you’ve published your app, Google Play makes it easy to see how it’s
-doing. The Google Play Android Developer Console gives you access to a variety
+doing. The Google Play Developer Console gives you access to a variety
 of anonymized metrics that show your app’s installation performance measured by
 unique users and unique devices, across a variety of different dimensions such
 as country, Android version, device, country, carrier, and app version.</p>
diff --git a/docs/html/distribute/googleplay/about/monetizing.jd b/docs/html/distribute/googleplay/about/monetizing.jd
index cabd56b..8bafd53 100644
--- a/docs/html/distribute/googleplay/about/monetizing.jd
+++ b/docs/html/distribute/googleplay/about/monetizing.jd
@@ -133,7 +133,7 @@
 manage shifts in exchange rates.</p>
 
 <p>You can set and manage prices for your apps and in-app products from the
-Google Play Android Developer Console.</p>
+Google Play Developer Console.</p>
 
 <h2 id="payouts">Monthly payouts in your local currency</h2>
 
diff --git a/docs/html/distribute/googleplay/publish/register.jd b/docs/html/distribute/googleplay/publish/register.jd
index 7ca6696..335d335 100644
--- a/docs/html/distribute/googleplay/publish/register.jd
+++ b/docs/html/distribute/googleplay/publish/register.jd
@@ -13,7 +13,7 @@
 
 <h2>Get Started</h2>
 <ol>
-  <li><a href="https://play.google.com/apps/publish/">Google Play Android Developer Console</a></li>
+  <li><a href="https://play.google.com/apps/publish/">Google Play Developer Console</a></li>
 </ol>
 
 </div>
@@ -24,13 +24,13 @@
 <ul>
 <li>Register for a Google Play publisher account</li>
 <li>If you will sell apps, set up a Google Checkout Merchant Account</li>
-<li>Explore the Google Play Android Developer Console and learn about the tools for publishing</li>
+<li>Explore the Google Play Developer Console and learn about the tools for publishing</li>
 </ul>
 
 
 <h3>Register for a publisher account</h3>
 
-<p>The first step is to visit the Google Play Android Developer Console and register for a publisher account.</p>
+<p>The first step is to visit the Google Play Developer Console and register for a publisher account.</p>
 
 <p>Here's what you will do during registration: </p>
 
@@ -46,7 +46,7 @@
 
 
 <ol>
-<li>Visit the Google Play Android Developer Console at <a href="https://play.google.com/apps/publish/">https://play.google.com/apps/publish/</a>.
+<li>Visit the Google Play Developer Console at <a href="https://play.google.com/apps/publish/">https://play.google.com/apps/publish/</a>.
 <li>Enter basic information about your <strong>developer identity</strong> &mdash; developer name, email address, and so on. You can modify this information later.</li>
 <li>Read and accept the <strong>Developer Distribution Agreement</strong> that applies to your country or region. Note that apps and store listings that you publish on Google Play must comply with the Developer Program Policies and US export law,</li>
 <li>Pay a <strong>$25 USD registration fee</strong> using Google Checkout. If you don't have a Google Checkout account, you can quickly set one up during the process.</li>
@@ -61,7 +61,7 @@
 <p>To set up a Merchant account from the Developer Console:</p>
 
 <ol>
-<li><strong>Sign in</strong> to your Google Play Android Developer Console at <a href="https://play.google.com/apps/publish/">https://play.google.com/apps/publish/</a>
+<li><strong>Sign in</strong> to your Google Play Developer Console at <a href="https://play.google.com/apps/publish/">https://play.google.com/apps/publish/</a>
 <li>Click on the "<strong>Edit profile</strong>" link.
 <li>Select "<strong>Setup a Merchant Account at Google Checkout</strong>".</li>
 </ol>
@@ -69,4 +69,4 @@
 <p>This will take you to the Google Checkout site to sign up as a Merchant; you'll need to have information about your business handy to complete this step.</p>
 
 <h3>Explore the Developer Console</h3>
-<p>When your registration is verified, you can sign in to your Android Developer Console, which will be the home for your app publishing operations and tools on Google Play. </p>
+<p>When your registration is verified, you can sign in to your Developer Console, which will be the home for your app publishing operations and tools on Google Play. </p>
diff --git a/docs/html/distribute/googleplay/quality/tablet.jd b/docs/html/distribute/googleplay/quality/tablet.jd
index cc7ba3f..24a30f1 100644
--- a/docs/html/distribute/googleplay/quality/tablet.jd
+++ b/docs/html/distribute/googleplay/quality/tablet.jd
@@ -507,7 +507,7 @@
 <td><p>Related resources:</p>
 <ul style="margin-top:-.5em;">
 <li><strong><a href="https://play.google.com/apps/publish/">Publishing Checklist</a></strong> &mdash; Recommendations on how to prepare your app for publishing, test it, and launch successfully on Google Play.</li>
-<li><strong><a href="https://play.google.com/apps/publish/">Google Play Android Developer Console</a></strong> &mdash; The tools console for publishing your app to Android users.</li>
+<li><strong><a href="https://play.google.com/apps/publish/">Google Play Developer Console</a></strong> &mdash; The tools console for publishing your app to Android users.</li>
 </ul>
 </td>
 </tr>
diff --git a/docs/html/google/gcm/c2dm.jd b/docs/html/google/gcm/c2dm.jd
index e8a7edb..5c4a86e 100644
--- a/docs/html/google/gcm/c2dm.jd
+++ b/docs/html/google/gcm/c2dm.jd
@@ -43,7 +43,7 @@
 <ul>
   <li> Ease of use. No sign-up forms.</li>
   <li>No quotas.</li>
-  <li>GCM and C2DM stats are available through the <a href="http://play.google.com/apps/publish">Android Developer Console</a>.</li>
+  <li>GCM and C2DM stats are available through the <a href="http://play.google.com/apps/publish">Developer Console</a>.</li>
   <li>Battery efficiency.</li>
   <li>Rich set of new APIs.</li>
 </ul>
diff --git a/docs/html/google/gcm/gcm.jd b/docs/html/google/gcm/gcm.jd
index f218bc2..11b5a6c 100644
--- a/docs/html/google/gcm/gcm.jd
+++ b/docs/html/google/gcm/gcm.jd
@@ -1025,7 +1025,7 @@
 
 <p>To view  statistics and any error messages for your GCM applications:</p>
 <ol>
-  <li> Go to the <code><a href="http://play.google.com/apps/publish">Android Developer Console</a></code>.</li>
+  <li> Go to the <code><a href="http://play.google.com/apps/publish">Developer Console</a></code>.</li>
   <li>Login with your developer account. 
   <p>You will see a page that has a list of all of your apps.</p></li>
   <li> Click on the &quot;statistics&quot; link next to the app for which you want to view GCM stats. 
@@ -1033,7 +1033,7 @@
   <li>Go to the drop-down menu and select the GCM metric you want to view. 
   </li>
 </ol>
-<p class="note"><strong>Note:</strong> Stats on the Google API Console are not enabled for GCM. You must use the <a href="http://play.google.com/apps/publish">Android Developer Console</a>.</p>
+<p class="note"><strong>Note:</strong> Stats on the Google API Console are not enabled for GCM. You must use the <a href="http://play.google.com/apps/publish">Developer Console</a>.</p>
 
 <h2 id="example">Examples</h2>
 <p>See the <a href="demo.html">GCM Demo Application</a> document.</p>
diff --git a/docs/html/google/play/expansion-files.jd b/docs/html/google/play/expansion-files.jd
index d2ab509..a21fbc5 100644
--- a/docs/html/google/play/expansion-files.jd
+++ b/docs/html/google/play/expansion-files.jd
@@ -82,7 +82,7 @@
 
 <h2 id="Overview">Overview</h2>
 
-<p>Each time you upload an APK using the Google Play Android Developer Console, you have the option to
+<p>Each time you upload an APK using the Google Play Developer Console, you have the option to
 add one or two expansion files to the APK. Each file can be up to 2GB and it can be any format you
 choose, but we recommend you use a compressed file to conserve bandwidth during the download.
 Conceptually, each expansion file plays a different role:</p>
diff --git a/docs/html/tools/workflow/publishing/publishing.jd b/docs/html/tools/workflow/publishing/publishing.jd
index 400f56f..fba95ba 100644
--- a/docs/html/tools/workflow/publishing/publishing.jd
+++ b/docs/html/tools/workflow/publishing/publishing.jd
@@ -58,11 +58,11 @@
 publish it on an application marketplace like Google Play. Publishing on Google Play is a
 straightforward process that you can do in just a few simple steps&mdash;register, configure,
 upload, and publish. Registration takes only a few minutes and needs to be done only once.
-The configuration and publishing steps can all be done through the Google Play Android Developer Console
+The configuration and publishing steps can all be done through the Google Play Developer Console
 after you register as a Google Play developer.</p>
 
 <p>To start publishing on Google Play, first read this topic and then go to the <a
-href="https://play.google.com/apps/publish">Google Play Android Developer Console</a> and register as
+href="https://play.google.com/apps/publish">Google Play Developer Console</a> and register as
 a Google Play developer.</p>