From 41f373981d41de0b870a68eb23177dc6d59bcc83 Mon Sep 17 00:00:00 2001
From: John Alanbrook <john@pockle.world>
Date: Tue, 17 Feb 2026 00:04:55 -0600
Subject: [PATCH] add docs to website nav

---
 website/data/docs_nav.yaml       | 8 ++++++++
 website/data/spec_sections.yaml  | 3 +++
 website/data/tools_sections.yaml | 8 ++++++++
 3 files changed, 19 insertions(+)

diff --git a/website/data/docs_nav.yaml b/website/data/docs_nav.yaml
index 97884ca7..3d49fb3d 100644
--- a/website/data/docs_nav.yaml
+++ b/website/data/docs_nav.yaml
@@ -41,6 +41,14 @@ sections:
         url: "/docs/shop/"
       - title: "CLI"
         url: "/docs/cli/"
+  - title: "Tools"
+    pages:
+      - title: "Testing"
+        url: "/docs/testing/"
+      - title: "Compiler Inspection"
+        url: "/docs/compiler-tools/"
+      - title: "Semantic Index"
+        url: "/docs/semantic-index/"
   - title: "C API"
     pages:
       - title: "C Modules"
diff --git a/website/data/spec_sections.yaml b/website/data/spec_sections.yaml
index f24e83f9..6bc83f93 100644
--- a/website/data/spec_sections.yaml
+++ b/website/data/spec_sections.yaml
@@ -35,3 +35,6 @@ sections:
   - title: "Wota Format"
     page: "/docs/wota/"
     id: "wota"
+  - title: "C Runtime"
+    page: "/docs/spec/c-runtime/"
+    id: "c-runtime"
diff --git a/website/data/tools_sections.yaml b/website/data/tools_sections.yaml
index fe855010..ddaa6440 100644
--- a/website/data/tools_sections.yaml
+++ b/website/data/tools_sections.yaml
@@ -15,3 +15,11 @@ sections:
     page: "/docs/testing/"
     id: "testing"
     group: "CLI"
+  - title: "Compiler Inspection"
+    page: "/docs/compiler-tools/"
+    id: "compiler-tools"
+    group: "Tools"
+  - title: "Semantic Index"
+    page: "/docs/semantic-index/"
+    id: "semantic-index"
+    group: "Tools"