Update mdbook to 4.40

Adds <div class="warning"> among other things.
CTSRD-CHERI · Oct 18, 2024 · b5058c7 · b5058c7
1 parent 2c73559
commit b5058c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -19,7 +19,7 @@ jobs:
           profile: minimal
 
       - name: Install mdbook
-        run: curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.2/mdbook-v0.4.2-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=$HOME/.cargo/bin
+        run: curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=$HOME/.cargo/bin
 
       - name: Checkout source
         uses: actions/checkout@v4