From f1e850a62ace4309271773cf779880a989d8d6a4 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 16 Jun 2023 09:20:29 +0200
Subject: [PATCH] fix: doc links

---
 CONTRIBUTING.md                              | 2 +-
 website/src/pages/learn/index.astro          | 2 +-
 website/src/pages/technical-manual/about.mdx | 2 +-
 website/src/pages/tutorial/index.astro       | 2 +-
 website/src/repl/Footer.jsx                  | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index a0e9770f..7acc619d 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -31,7 +31,7 @@ Use one of the Communication Channels listed above.
 
 ## Improve the Docs
 
-If you find some weak spots in the [docs](https://strudel.tidalcycles.org/learn/getting-started),
+If you find some weak spots in the [docs](https://strudel.tidalcycles.org/workshop/getting-started/),
 you can edit each file directly on github via the "Edit this page" link located in the right sidebar.
 
 ## Propose a Feature
diff --git a/website/src/pages/learn/index.astro b/website/src/pages/learn/index.astro
index 6f0a723d..cddd8ba5 100644
--- a/website/src/pages/learn/index.astro
+++ b/website/src/pages/learn/index.astro
@@ -1,3 +1,3 @@
 <script is:inline>
-  window.location.pathname = `/learn/getting-started`;
+  window.location.pathname = `/workshop/getting-started`;
 </script>
diff --git a/website/src/pages/technical-manual/about.mdx b/website/src/pages/technical-manual/about.mdx
index f75d854b..0d2d6b61 100644
--- a/website/src/pages/technical-manual/about.mdx
+++ b/website/src/pages/technical-manual/about.mdx
@@ -1,3 +1,3 @@
-This section introduces you to Strudel in a technical sense. If you just want to _use_ Strudel, have a look at the [Tutorial](/learn/getting-started).
+This section introduces you to Strudel in a technical sense. If you just want to _use_ Strudel, have a look at the [Tutorial](/workshop/getting-started).
 
 TODO
diff --git a/website/src/pages/tutorial/index.astro b/website/src/pages/tutorial/index.astro
index 6f0a723d..cddd8ba5 100644
--- a/website/src/pages/tutorial/index.astro
+++ b/website/src/pages/tutorial/index.astro
@@ -1,3 +1,3 @@
 <script is:inline>
-  window.location.pathname = `/learn/getting-started`;
+  window.location.pathname = `/workshop/getting-started`;
 </script>
diff --git a/website/src/repl/Footer.jsx b/website/src/repl/Footer.jsx
index acd5a682..417fb8ed 100644
--- a/website/src/repl/Footer.jsx
+++ b/website/src/repl/Footer.jsx
@@ -140,7 +140,7 @@ function WelcomeTab() {
       </p>
       <p>
         To learn more about what this all means, check out the{' '}
-        <a href="./learn/getting-started" target="_blank">
+        <a href="./workshop/getting-started" target="_blank">
           interactive tutorial
         </a>
         . Also feel free to join the{' '}