Fix links to *.rzk.md in mkdocs.yml

rzk-lang · Jun 21, 2023 · 8ba1c55 · 8ba1c55
1 parent 1329874
commit 8ba1c55
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -3,10 +3,10 @@ nav:
   - General:
     - About: index.md
   - rzk-1 Language:
-    - Introduction: rzk-1/introduction.md
-    - Sections and Variables: rzk-1/sections.md
-    - Rendering Diagrams: rzk-1/render.md
-    - Weak tope disjunction elimination: rzk-1/recId.md
+    - Introduction: rzk-1/introduction.rzk.md
+    - Sections and Variables: rzk-1/sections.rzk.md
+    - Rendering Diagrams: rzk-1/render.rzk.md
+    - Weak tope disjunction elimination: rzk-1/recId.rzk.md
   - Tools:
     - Syntax Highlighting: tools/highlight.md
     - IDE support: tools/ide.md