Add more sidebar headings

inkytonik · Sep 20, 2021 · 24137d7 · 24137d7
1 parent e1f7234
commit 24137d7
Showing 1 changed file with 29 additions and 1 deletion.
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -24,10 +24,38 @@ <h1>{{ site.title | default: site.github.repository_name }}</h1>
             }}</small></a></p>
       {% endif %}
 
-      <a href="http://inkytonik.github.io/kiama">Home</a>
+      <a href="http://inkytonik.github.io/kiama">Documentation</a>
       <br>
       <a href="http://inkytonik.github.io/kiama/UserManual">User Manual</a>
+      <ul>
+        <a href="http://inkytonik.github.io/kiama/Context">Context</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Parsing">Parsing</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Rewriting">Rewriting</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Attribution">Attribution</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Relations">Relations</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Machines">Machines</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/PrettyPrinting">Pretty Printing</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Messages">Messages</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/ReadEvalPrintLoops">Read-eval-print loops</a>
+        <br>
+        <a href="http://inkytonik.github.io/kiama/Profiling">Profiling</a>
+        <br>
+      </ul>
+      <a href="http://inkytonik.github.io/kiama/Examples">Examples</a>
       <br>
+      <a href="http://inkytonik.github.io/kiama/Research">Research Reading</a>
+      <br>
+      <a href="http://inkytonik.github.io/kiama/Installation">Installation</a>
+      <br>
+      <a href="http://inkytonik.github.io/kiama/Installation">Releases</a>
     </header>
     <section>