more broken sail

Signed-off-by: Kersten Richter <[email protected]>
riscv · Jan 9, 2025 · 8e6106a · 8e6106a
1 parent 5bac0c2
commit 8e6106a
Showing 1 changed file with 1 addition and 1 deletion.
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]