summaryrefslogtreecommitdiff
path: root/mkdocs.yml
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-05-03 13:32:57 -0400
committernodist <kevin.comas.git@gmail.com>2026-05-03 13:32:57 -0400
commitaf9a7e5fcd83f3fab09c309e405f580b06dc5179 (patch)
treefc6656d3dbbc5fb96781acdd1e7efb710d918d18 /mkdocs.yml
parent8bab3c5a97c035cc8dadfea9b2a9a761cdf7997c (diff)
add syntax page
Diffstat (limited to 'mkdocs.yml')
-rw-r--r--mkdocs.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index ee3de01..6df0e4d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -4,3 +4,5 @@ repo_url: https://git.kpl.dev/kpl-specification/
repo_name: Markdown Source
nav:
- Main: 'index.md'
+ - Syntax: 'syntax/index.md'
+ - Type System: 'type_system/index.md'