need index.md to generate index.html

specification/README.md

@@ -1,8 +1,6 @@
 # Setup
 
-    pip install mkdocs
-    pip install mkdocs-mermaid2
-    pip install mkdocs-material
+    pip install mkdocs mkdocs-mermaid2-plugin mkdocs-material
 
 # Local Development
 

specification/mkdocs.yml

@@ -15,7 +15,7 @@ markdown_extensions:
           class: mermaid
           format: !!python/name:mermaid2.fence_mermaid_custom
 nav:
-  - Overview: overview.md
+  - Overview: index.md
   - Terminology: terminology.md
   - Requirements: requirements.md
   - Design: design.md