diff --git a/_includes/custom-navbar.html b/_includes/custom-navbar.html index d18399d89f..0a8ad693d9 100644 --- a/_includes/custom-navbar.html +++ b/_includes/custom-navbar.html @@ -19,7 +19,7 @@ diff --git a/assets/js/toggle-markdown.js b/assets/js/toggle-markdown.js index 82cb0ffef1..34bcfb04af 100644 --- a/assets/js/toggle-markdown.js +++ b/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') diff --git a/content_collections/_releases/sel4/10.1.1-mcs.md b/content_collections/_releases/sel4/10.1.1-mcs.md index 88ab481207..37bcb3f75f 100644 --- a/content_collections/_releases/sel4/10.1.1-mcs.md +++ b/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 diff --git a/content_collections/_releases/sel4/5.2.0-mcs.md b/content_collections/_releases/sel4/5.2.0-mcs.md index 10a2344f30..6d7bd5df6a 100644 --- a/content_collections/_releases/sel4/5.2.0-mcs.md +++ b/content_collections/_releases/sel4/5.2.0-mcs.md @@ -214,7 +214,7 @@ $ repo init -u -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. diff --git a/content_collections/_releases/sel4/9.0.0-mcs.md b/content_collections/_releases/sel4/9.0.0-mcs.md index 5c997d5900..d3fad2b2ae 100644 --- a/content_collections/_releases/sel4/9.0.0-mcs.md +++ b/content_collections/_releases/sel4/9.0.0-mcs.md @@ -232,7 +232,7 @@ $ repo init -u -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. diff --git a/index.md b/index.md index 0a3369b311..564c57ee72 100644 --- a/index.md +++ b/index.md @@ -59,15 +59,15 @@ This documentation site is for cooperatively developing and sharing documentatio