Fix the book script

.github/workflows/book.yml

@@ -1,7 +1,13 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
+
+# This workflow is responsible for building and releasing the contest book.
+# It should only run when there has been a change to the contest book files
+# or via manual trigger.
+
 name: Build Book
 on:
+  workflow_dispatch:
   pull_request:
     paths:
       - 'doc/**'
@@ -17,16 +23,18 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Install mdbook
-        run: cargo install mdbook --version "^0.4" --locked
+        run: |
+          cargo install mdbook --version "^0.4" --locked
+          echo "${HOME}/.cargo/bin" >> $GITHUB_PATH
 
       - name: Install linkchecker
-        run: cargo install mdbook-linkcheck "0.7" --locked
+        run: cargo install mdbook-linkcheck --version "^0.7" --locked
 
       - name: Build Documentation
-        run: mkdbook build doc
+        run: mdbook build doc
 
       - name: Upload book
-        uses: actions/upload-pages-artifact@v4
+        uses: actions/upload-pages-artifact@v3
         with:
           path: book/html
           retention-days: "2"

doc/src/tools/kani.md

@@ -1 +1,7 @@
 # Kani Rust Verifier
+
+The Kani Rust Verifier is a bit-precise model checker for Rust.
+This page will give more details on how to use Kani to verify the standard library.
+You can find more informations about how to install and use Kani in the
+[Kani book](https://model-checking.github.io/kani/).
+