diff --git a/mkdocs.yml b/mkdocs.yml
index ea1a98b6f..f8e75968b 100644
--- 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