Merge pull request #612 from tidalcycles/fix-links

fix: doc links

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

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>

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

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>

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{' '}