camkes releases: point to local manual

Point links to local manual for target reference check where possible.
This might break links when sections are removed in the manual in the
future, but we want to introduce support for hosting multiple manual
versions anyway.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

content_collections/_releases/camkes/camkes-2.2.0.md

@@ -17,8 +17,8 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 - realtime extensions: CAmkES systems can now run on [realtime
   seL4](../sel4/1.0.0-rt-dev.html). It is possible to configure the realtime
   properties of systems built to run on realtime seL4.
-  - For more details, see the [Realtime Extensions section of the CAmkES
-      Manual](https://github.com/seL4/camkes-tool/blob/master/docs/index.md#realtime-extensions).
+  - For more details, see the "Realtime Extensions" section of the CAmkES
+      Manual
 
 - support for seL4 3.1.0
 

content_collections/_releases/camkes/camkes-3.0.0.md

@@ -137,14 +137,14 @@ volatile pointers for accessing shared memory. This is no longer the
 case, and components with dataport interfaces connected with
 seL4SharedData must explicitly insert barriers around dataport access to
 ensure the desired memory access ordering.
-[Read more in the manual.](https://github.com/seL4/camkes-tool/blob/camkes-3.0.0/docs/index.md#an-example-of-dataports)
+[Read more in the manual.](../../projects/camkes/manual.html#an-example-of-dataports)
 
 ### Custom Attribute Types
 
 
 You can now define custom types for attributes in CAmkES ADL. Custom
 types resemble structs and arrays in C.
-[Read more in the manual.](https://github.com/seL4/camkes-tool/blob/camkes-3.0.0/docs/index.md#an-example-of-structs-and-arrays-for-collections)
+[Read more in the manual.](../../projects/camkes/manual.html#an-example-of-structs-and-arrays-for-collections)
 
 ### Hierarchical Component Syntax Change
 
@@ -158,7 +158,7 @@ of it sub-components has changed.
 
 Binary Semaphores have been added as a new synchronization primitive.
 This is in addition to the existing primitives: semaphores and mutexes.
-[Read more in the manual.](https://github.com/seL4/camkes-tool/blob/camkes-3.0.0/docs/index.md#synchronization-primitives)
+[Read more in the manual.](../../projects/camkes/manual.html#synchronization-primitives)
 
 ### Cache Accelerator
 
@@ -181,4 +181,4 @@ python2 and python3.
 The internals of the CAmkES parser have been rewritten to be easier to
 read and maintain. The parser is structured as a pipeline of
 transformations.
-[Read more in the manual.](https://github.com/seL4/camkes-tool/blob/camkes-3.0.0/docs/index.md#parser-internals)
+[Read more in the manual.](../../projects/camkes/manual.html#parser-internals)

content_collections/_releases/camkes/camkes-3.2.0.md

@@ -52,8 +52,7 @@ Using seL4 version 8.0.0
 - Added "hardware_cached" attribute to hardware dataports
 
     This feature had been added to camkes-2.x.x but hadn't been
-    forward ported to camkes-3.x.x. documentation:
-    <https://github.com/seL4/camkes-tool/blob/master/docs/index.md#cached-hardware-dataports>
+    forward ported to camkes-3.x.x. Documentation in the [manual](../../projects/camkes/manual.html#cached-hardware-dataports)
 
 # Known issues