add more header ids for usage in links

2019-05-09 16:17:33 -04:00
parent d183c966c5
commit d95a7fe1d5
8 changed files with 25 additions and 25 deletions
--- a/static/build.html
+++ b/static/build.html
@@ -33,7 +33,7 @@
            </ul>
        </nav>
        <div id="content">
-            <h1>Build</h1>
+            <h1 id="build">Build</h1>
            <h2 id="build-dependencies">
                Build dependencies
                <a href="#build-dependencies">¶</a>