change dir tutorials -> Tutorials

Signed-off-by: Birgit Brecknell <[email protected]>

_includes/custom-navbar.html

@@ -19,7 +19,7 @@
         <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
             <a property="item" typeof="WebPage" href="{{ crumbitem.url | prepend: site.baseurl }}">
 <!--              hack to get "Tutorials" displaying in breadcrumbs-->
-              {% if crumbitem.url == "/tutorials/" %}
+              {% if crumbitem.url == "/Tutorials/" %}
                 <span property="name"><b>Tutorials</b></span>
               {% else %}
                 <span property="name"><b>{{ crumbitem.title }}</b></span>

_includes/header.html

@@ -19,7 +19,7 @@
         <h2><a href="/Resources">Resources</a></h2>
         <h2><a href="/processes">Contributing</a></h2>
         <h2><a href="/projects">Projects</a></h2>
-        <h2><a href="/tutorials/">Tutorials</a></h2>
+        <h2><a href="/Tutorials/">Tutorials</a></h2>
         <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
       </nav>
     </li>

assets/js/toggle-markdown.js

@@ -4,7 +4,7 @@
 // Expand all solutions if previous link was how-to page
 
 let text = document.referrer;
-let result = text.includes("tutorials/how-to");
+let result = text.includes("Tutorials/how-to");
 
 if (result==true){
     document.body.querySelectorAll('details')

content_collections/_releases/sel4/10.1.1-mcs.md

@@ -216,7 +216,7 @@ seL4 `10.1.1`.
 
 Please contact us if you need compatible libraries for the MCS kernel for a specific version.
 
-- A [new tutorial](/tutorials/MCS) covers the difference in the APIs
+- A [new tutorial](/Tutorials/MCS) covers the difference in the APIs
 
 ## Hardware support
 

content_collections/_releases/sel4/5.2.0-mcs.md

@@ -214,7 +214,7 @@ $ repo init -u <https://github.com/seL4/sel4test-manifest.git> -m 5.2.x-mcs.xml
 $ repo sync
 ```
 
-- A [new tutorial](/tutorials/seL4_RT_tutorial) covers the difference in the APIs
+- A [new tutorial](/Tutorials/seL4_RT_tutorial) covers the difference in the APIs
 
 ## Hardware support
 
@@ -237,9 +237,9 @@ See the `5.2.0-mcs` manual included in the release.
 We have developed a branch of the seL4 and CAmkES tutorials for the MCS
 kernel.
 
-- [seL4 RT tutorial](/tutorials/seL4_RT_tutorial) a new tutorial which covers all of the
+- [seL4 RT tutorial](/Tutorials/seL4_RT_tutorial) a new tutorial which covers all of the
       API changes and features is available here.
-- [Tutorials](/tutorials) Otherwise it's worth going through all of the
+- [Tutorials](/Tutorials) Otherwise it's worth going through all of the
       tutorials, as all have been ported to the MCS kernel on the
       'mcs' branch.
 

content_collections/_releases/sel4/9.0.0-mcs.md

@@ -232,7 +232,7 @@ $ repo init -u <https://github.com/seL4/sel4test-manifest.git> -m 9.0.x-mcs.xml
 $ repo sync
 ```
 
-- A [new tutorial](/tutorials/seL4_RT_tutorial) covers the difference in the APIs
+- A [new tutorial](/Tutorials/seL4_RT_tutorial) covers the difference in the APIs
 
 ## Hardware support
 
@@ -255,9 +255,9 @@ See the `9.0.0-mcs` manual included in the release.
 We have developed a branch of the seL4 and CAmkES tutorials for the MCS
 kernel.
 
-- [seL4 RT tutorial](/tutorials/seL4_RT_tutorial) a new tutorial which covers all of the
+- [seL4 RT tutorial](/Tutorials/seL4_RT_tutorial) a new tutorial which covers all of the
       API changes and features is available here.
-- [Tutorials](/tutorials) Otherwise it's worth going through all of the
+- [Tutorials](/Tutorials) Otherwise it's worth going through all of the
       tutorials, as all have been ported to the MCS kernel on the
       'mcs' branch.
 

index.md

@@ -59,15 +59,15 @@ This documentation site is for cooperatively developing and sharing documentatio
     </ul>
     </div>
   <div class="col">
-    <h1><a href="/tutorials/">Tutorials</a></h1>
+    <h1><a href="/Tutorials/">Tutorials</a></h1>
     <p>Tutorials and other material to learn about seL4.</p>
     <ul>
-        <li><a href="/tutorials/">Overview</a></li>
-        <li><a href="/tutorials/sel4-overview">seL4</a></li>
-        <li><a href="/tutorials/mcs">MCS</a></li>
-        <li><a href="/tutorials/libraries-1">Libraries</a></li>
-        <li><a href="/tutorials/hello-camkes-0">CAmkES</a></li>
-        <li><a href="/tutorials/how-to"><em>How to:</em> A quick solutions guide to the tutorials</a></li>
+        <li><a href="/Tutorials/">Overview</a></li>
+        <li><a href="/Tutorials/sel4-overview">seL4</a></li>
+        <li><a href="/Tutorials/mcs">MCS</a></li>
+        <li><a href="/Tutorials/libraries-1">Libraries</a></li>
+        <li><a href="/Tutorials/hello-camkes-0">CAmkES</a></li>
+        <li><a href="/Tutorials/how-to"><em>How to:</em> A quick solutions guide to the tutorials</a></li>
         <li><a href="https://sel4.systems/Info/Docs/seL4-manual-latest.pdf">seL4 Manual</a></li>
         <li><a href="/projects/sel4/api-doc">API reference</a></li>
         <li><a href="https://trustworthy.systems/projects/microkit/tutorial/">Microkit</a></li>