mirror of https://github.com/seL4/docs.git
fe8698fe01
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> |
||
|---|---|---|
| .. | ||
| _releases | ||
| _status | ||
| _updates | ||