Move "mobile-install (Android)" link in navigation bar to the android section and rename to just "mobile-install".
RELNOTES: None.
@@ -97,6 +97,7 @@ nav: docs
</a>
<ul class="collapse sidebar-nav sidebar-submenu" id="android-menu">
<li><a href="/versions/{{ site.version }}/bazel-and-android.html">Android and Bazel</a></li>
+ <li><a href="/versions/{{ site.version }}/mobile-install.html">mobile-install</a></li>
</ul>
</li>
@@ -114,7 +115,6 @@ nav: docs
<li><a href="/versions/{{ site.version }}/test-encyclopedia.html">Writing Tests</a></li>
<li><a href="/versions/{{ site.version }}/query.html">Query Language</a></li>
<li><a href="/versions/{{ site.version }}/query-how-to.html">Query How-To</a></li>
- <li><a href="/versions/{{ site.version }}/mobile-install.html">mobile-install (Android)</a></li>
<li><a href="/versions/{{ site.version }}/external.html">External Dependencies</a></li>
<li><a href="/versions/{{ site.version }}/command-line-reference.html">Command-line Reference</a></li>
<li><a href="/versions/{{ site.version }}/output_directories.html">Output Directories</a></li>
