Last of broken Sail links (#1794)

* more broken sail Signed-off-by: Kersten Richter <[email protected]> * Update scalar-crypto.adoc Signed-off-by: Kersten Richter <[email protected]> --------- Signed-off-by: Kersten Richter <[email protected]>
riscv · Jan 9, 2025 · 2d67e85 · 2d67e85
1 parent 5bac0c2
commit 2d67e85
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/scalar-crypto.adoc b/src/scalar-crypto.adoc
@@ -120,7 +120,7 @@ in the specification.
 This supporting code is listed in
 <<crypto_scalar_appx_sail>>.
 The 
-link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual]
+link:https://alasdair.github.io/manual.html[Sail Manual]
 is recommended reading in order to best understand the code snippets.
 
 Note that this document contains only a subset of the formal model: refer to
@@ -5343,7 +5343,7 @@ https://github.com/riscv/riscv-crypto
 This section contains the supporting Sail code referenced by the
 instruction descriptions throughout the specification.
 The
-link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual]
+link:https://alasdair.github.io/manual.html[Sail Manual]
 is recommended reading in order to best understand the supporting code.
 
 [source,sail]

diff --git a/src/vector-crypto.adoc b/src/vector-crypto.adoc
@@ -4565,7 +4565,7 @@ OP-V (0x57)
 This section contains the supporting Sail code referenced by the
 instruction descriptions throughout the specification.
 The
-link:https://github.com/rems-project/sail/blob/sail2/manual.pdf[Sail Manual]
+link:https://alasdair.github.io/manual.html[Sail Manual]
 is recommended reading in order to best understand the supporting code.
 
 [source,sail]