change tutorials/ -> Tutorials/

Signed-off-by: Birgit Brecknell <b@brck.nl>

template.py

@@ -88,7 +88,7 @@ def render_file(args, env, state, file):
 
             i = 0
             for line in s:
-                lines[i] = line.replace("https://docs.sel4.systems/tutorials/","/tutorials/")
+                lines[i] = line.replace("https://docs.sel4.systems/Tutorials/","/Tutorials/")
                 i = i + 1
 
             new_text = ''.join(lines)

tools/macros.py

@@ -45,7 +45,7 @@ def cmake_check_script(state):
 
 def tutorial_init(name):
     return '''```sh
-# For instructions about obtaining the tutorial sources see https://docs.sel4.systems/tutorials/get-the-tutorials
+# For instructions about obtaining the tutorial sources see https://docs.sel4.systems/Tutorials/get-the-tutorials
 #
 # Follow these instructions to initialise the tutorial
 # initialising the build directory with a tutorial exercise
@@ -59,7 +59,7 @@ def tutorial_init(name):
 
 def tutorial_init_with_solution(name):
     return '''```sh
-# For instructions about obtaining the tutorial sources see https://docs.sel4.systems/tutorials/get-the-tutorials
+# For instructions about obtaining the tutorial sources see https://docs.sel4.systems/Tutorials/get-the-tutorials
 #
 # Follow these instructions to initialise the tutorial
 # initialising the build directory with a tutorial exercise

tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md

@@ -18,8 +18,8 @@ In this tutorial you will learn how to:
 * Configure processes in a Linux guest VM to communicate with CAmkES components
 
 ## Prerequisites
-1. [Set up your machine](https://docs.sel4.systems/tutorials/setting-up)
-2. [CAmkES VM Linux tutorial](https://docs.sel4.systems/tutorials/camkes-vm-linux)
+1. [Set up your machine](https://docs.sel4.systems/Tutorials/setting-up)
+2. [CAmkES VM Linux tutorial](https://docs.sel4.systems/Tutorials/camkes-vm-linux)
 
 *Note that the instructions for this tutorial are only for Linux.*
 

tutorials/camkes-vm-linux/camkes-vm-linux.md

@@ -18,8 +18,8 @@ You will become familiar with:
 *Note that the instructions for this tutorial are only for Linux.*
 
 ## Prerequisites
-1. [Set up your machine](https://docs.sel4.systems/tutorials/setting-up)
-2. [CAmkES timer tutorial](https://docs.sel4.systems/tutorials/hello-camkes-timer)
+1. [Set up your machine](https://docs.sel4.systems/Tutorials/setting-up)
+2. [CAmkES timer tutorial](https://docs.sel4.systems/Tutorials/hello-camkes-timer)
 
 ## CapDL Loader
 

tutorials/capabilities/capabilities.md

@@ -15,8 +15,8 @@ You will learn:
 
 ## Prerequisites
 
-1. [Set up your machine](https://docs.sel4.systems/tutorials/setting-up)
-2. [Hello world](https://docs.sel4.systems/tutorials/hello-world)
+1. [Set up your machine](https://docs.sel4.systems/Tutorials/setting-up)
+2. [Hello world](https://docs.sel4.systems/Tutorials/hello-world)
 
 ## Initialising