From 20ea9866aff9fcbacfb1b88ab3179d84db80ceae Mon Sep 17 00:00:00 2001
From: Rob Lewis <rob.y.lewis@gmail.com>
Date: Thu, 19 Oct 2023 13:31:38 -0400
Subject: [PATCH] link to teaching page from side menu

---
 data/menus.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/menus.yaml b/data/menus.yaml
index bc96780979..c1b35bcc2e 100644
--- 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