chore: small changes

ChainSafe · Feb 10, 2025 · a77476e · a77476e
1 parent 9aad29d
commit a77476e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/docs/docs/design/provisioner.md b/docs/docs/design/provisioner.md
@@ -1,5 +1,10 @@
-# Provisioner Subsystem
+---
+layout: default
+title: Provisioner Subsystem Overview
+permalink: /design/provisioner-subsystem-overview/
+---
 
+# Provisioner Subsystem
 
 ## Intro
 

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -78,6 +78,7 @@ nav:
     - Statement Distribution: ./design/statement-distribution.md
     - Grid Topology: ./design/grid-topology.md
     - Gossip Support: ./design/gossip-support.md
+    - Provisioner: ./design/provisioner.md
   - Contributing: 
     - Overview: ./contributing.md
 extra_css: