1 files changed, 1 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 349cd0f..3576a95 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -36,5 +36,6 @@ nav:
     - Name: 'type_system/name.md'
     - Symbol: 'type_system/symbol.md'
     - Op: 'type_system/op.md'
+    - Control: 'type_system/control.md'
     - List: 'type_system/list.md'
     - Namespace: 'type_system/namespace.md'