Add tutorial files to index that were missing

metaborg · May 30, 2024 · 203839e · 203839e
1 parent 7271ddb
commit 203839e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -7,7 +7,8 @@ nav:
       - tutorial/install.md
       - tutorial/create_language_project.md
       - tutorial/change_static_semantics.md
-#      - tutorial/add_transformation.md
+      - tutorial/add_transformation.md
+      - tutorial/pcf_tutorial.md
   - How-to Guides:
       - guide/ask_for_help.md
       - guide/report_a_bug.md