Update README.md

rems-project · Dec 5, 2023 · 88424d8 · 88424d8
1 parent 845b61b
commit 88424d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -38,7 +38,7 @@ descriptions of the current state.
 This repository contains the implementation of Sail, together with
 some Sail specifications and related tools.
 
-* A manual, [manual.html](manual.html) with source (in [doc/](doc/))
+* A manual, [manual.html](manual.html) with source (in [doc/](doc/)), currently [available online here](https://alasdair.github.io/manual.html)
 
 * The Sail source code (in [src/](src/))