diff --git a/Tutorials/get-the-tutorials.md b/Tutorials/get-the-tutorials.md index bd2d3c44e1..e29367abd7 100644 --- a/Tutorials/get-the-tutorials.md +++ b/Tutorials/get-the-tutorials.md @@ -15,7 +15,7 @@ pip3 install --user camkes-deps *Hint:* This step only needs to be done once, i.e. before doing your first tutorial. ## Get the code -All tutorials are in the sel4-tutorials-manifest. Get the code with: +All code for the tutorials is described in the sel4-tutorials-manifest. Get the code with: ``` mkdir sel4-tutorials-manifest cd sel4-tutorials-manifest