From aeeb936a3c70edfa056278b5440af1efdff72608 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Wed, 2 Dec 2020 17:17:01 -0500
Subject: mark table of contents as navigation

---
 static/build.html | 148 +++++++++++++++++++++++++++---------------------------
 1 file changed, 75 insertions(+), 73 deletions(-)

(limited to 'static/build.html')

diff --git a/static/build.html b/static/build.html
index c7bedd5d..b9632a93 100644
--- a/static/build.html
+++ b/static/build.html
@@ -48,79 +48,81 @@
             <p>This is a guide on building, modifying and contributing to GrapheneOS as a
             developer.</p>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li>
-                    <a href="#building-grapheneos">Building GrapheneOS</a>
-                    <ul>
-                        <li><a href="#build-targets">Build targets</a></li>
-                        <li><a href="#build-dependencies">Build dependencies</a></li>
-                        <li>
-                            <a href="#downloading-source-code">Downloading source code</a>
-                            <ul>
-                                <li><a href="#development-branch">Development branch</a></li>
-                                <li><a href="#stable-release">Stable release</a></li>
-                            </ul>
-                        </li>
-                        <li><a href="#updating-and-switching-branches-or-tags">Updating and switching branches or tags</a></li>
-                        <li><a href="#kernel">Kernel</a></li>
-                        <li><a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a></li>
-                        <li><a href="#reproducible-builds">Reproducible builds</a></li>
-                        <li><a href="#extracting-vendor-files-for-pixel-devices">Extracting vendor files for Pixel devices</a></li>
-                        <li><a href="#building">Building</a></li>
-                        <li><a href="#faster-builds-for-development-use-only">Faster builds for development use only</a></li>
-                        <li>
-                            <a href="#generating-release-signing-keys">Generating release signing keys</a>
-                            <ul>
-                                <li><a href="#encrypting-keys">Encrypting keys</a></li>
-                                <li><a href="#enabling-updatable-apex-components">Enabling updatable APEX components</a></li>
-                            </ul>
-                        </li>
-                        <li>
-                            <a href="#generating-signed-factory-images-and-full-update-packages">Generating signed factory images and full update packages</a>
-                            <ul>
-                                <li><a href="#generating-delta-updates">Generating delta updates</a></li>
-                            </ul>
-                        </li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#prebuilt-code">Prebuilt code</a>
-                    <ul>
-                        <li><a href="#browser-and-webview">Browser and WebView</a></li>
-                        <li><a href="#prebuilt-apps">Prebuilt apps</a></li>
-                    </ul>
-                </li>
-                <li><a href="#update-server">Update server</a></li>
-                <li><a href="#stable-release-manifest">Stable release manifest</a></li>
-                <li><a href="#standalone-sdk">Standalone SDK</a></li>
-                <li><a href="#android-studio">Android Studio</a></li>
-                <li><a href="#obtaining-upstream-manifests">Obtaining upstream manifests</a></li>
-                <li>
-                    <a href="#testing">Testing</a>
-                    <ul>
-                        <li><a href="#emulator">Emulator</a></li>
-                        <li>
-                            <a href="#compatibility-test-suite">Compatibility Test Suite</a>
-                            <ul>
-                                <li><a href="#compatibility-test-suite-download">Download</a></li>
-                                <li><a href="#compatibility-test-suite-setup">Setup</a></li>
-                                <li><a href="#compatibility-test-suite-run-modules">Run modules</a></li>
-                            </ul>
-                        </li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#development-guidelines">Development guidelines</a>
-                    <ul>
-                        <li><a href="#programming-languages">Programming languages</a></li>
-                        <li><a href="#code-style">Code style</a></li>
-                        <li><a href="#library-usage">Library usage</a></li>
-                    </ul>
-                </li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li>
+                        <a href="#building-grapheneos">Building GrapheneOS</a>
+                        <ul>
+                            <li><a href="#build-targets">Build targets</a></li>
+                            <li><a href="#build-dependencies">Build dependencies</a></li>
+                            <li>
+                                <a href="#downloading-source-code">Downloading source code</a>
+                                <ul>
+                                    <li><a href="#development-branch">Development branch</a></li>
+                                    <li><a href="#stable-release">Stable release</a></li>
+                                </ul>
+                            </li>
+                            <li><a href="#updating-and-switching-branches-or-tags">Updating and switching branches or tags</a></li>
+                            <li><a href="#kernel">Kernel</a></li>
+                            <li><a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a></li>
+                            <li><a href="#reproducible-builds">Reproducible builds</a></li>
+                            <li><a href="#extracting-vendor-files-for-pixel-devices">Extracting vendor files for Pixel devices</a></li>
+                            <li><a href="#building">Building</a></li>
+                            <li><a href="#faster-builds-for-development-use-only">Faster builds for development use only</a></li>
+                            <li>
+                                <a href="#generating-release-signing-keys">Generating release signing keys</a>
+                                <ul>
+                                    <li><a href="#encrypting-keys">Encrypting keys</a></li>
+                                    <li><a href="#enabling-updatable-apex-components">Enabling updatable APEX components</a></li>
+                                </ul>
+                            </li>
+                            <li>
+                                <a href="#generating-signed-factory-images-and-full-update-packages">Generating signed factory images and full update packages</a>
+                                <ul>
+                                    <li><a href="#generating-delta-updates">Generating delta updates</a></li>
+                                </ul>
+                            </li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#prebuilt-code">Prebuilt code</a>
+                        <ul>
+                            <li><a href="#browser-and-webview">Browser and WebView</a></li>
+                            <li><a href="#prebuilt-apps">Prebuilt apps</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#update-server">Update server</a></li>
+                    <li><a href="#stable-release-manifest">Stable release manifest</a></li>
+                    <li><a href="#standalone-sdk">Standalone SDK</a></li>
+                    <li><a href="#android-studio">Android Studio</a></li>
+                    <li><a href="#obtaining-upstream-manifests">Obtaining upstream manifests</a></li>
+                    <li>
+                        <a href="#testing">Testing</a>
+                        <ul>
+                            <li><a href="#emulator">Emulator</a></li>
+                            <li>
+                                <a href="#compatibility-test-suite">Compatibility Test Suite</a>
+                                <ul>
+                                    <li><a href="#compatibility-test-suite-download">Download</a></li>
+                                    <li><a href="#compatibility-test-suite-setup">Setup</a></li>
+                                    <li><a href="#compatibility-test-suite-run-modules">Run modules</a></li>
+                                </ul>
+                            </li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#development-guidelines">Development guidelines</a>
+                        <ul>
+                            <li><a href="#programming-languages">Programming languages</a></li>
+                            <li><a href="#code-style">Code style</a></li>
+                            <li><a href="#library-usage">Library usage</a></li>
+                        </ul>
+                    </li>
+                </ul>
+            </nav>
 
             <h2 id="building-grapheneos">
                 <a href="#building-grapheneos">Building GrapheneOS</a>
-- 
cgit v1.3.1