link to teaching page from side menu

leanprover-community · Oct 19, 2023 · 20ea986 · 20ea986
1 parent bf43719
commit 20ea986
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/menus.yaml b/data/menus.yaml
@@ -7,7 +7,7 @@
     - Teams: teams.html
     - Papers about Lean: papers.html
     - Projects using Lean: lean_projects.html
-    - Courses using Lean: courses.html
+    - Teaching using Lean: teaching/index.html
     - Events: events.html
 
 - title: Installation