Update CI to build the mdbook with multiple mdbook versions.

Author: qwattash

.github/workflows/book.yml

@@ -9,33 +9,33 @@ on:
       - created
 
 jobs:
-  build:
+  build-mdbook:
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        mdbook-version: ['0.4.45', '0.5.1', 'latest']
     steps:
-      - name: Install cargo
-        uses: actions-rs/toolchain@v1
+      - name: Install mdBook
+        uses: peaceiris/actions-mdbook@v2
         with:
-          toolchain: stable
-          profile: minimal
-
-      - name: Install mdbook
-        run: curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.45/mdbook-v0.4.45-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=$HOME/.cargo/bin
+          mdbook-version: ${{ matrix.mdbook-version }}
 
       - name: Checkout source
         uses: actions/checkout@v4
 
       - name: Build book
         run: mdbook build
 
-      - name: Upload book artifact
+      - name: Upload html-book artifact
+        if: matrix.mdbook-version == 'latest'
         uses: actions/upload-artifact@v4
         with:
           name: book
           path: book
 
   deploy:
     if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-    needs: build
+    needs: build-mdbook
     runs-on: ubuntu-latest
     steps:
       - name: Download book artifact

book.toml

@@ -3,7 +3,6 @@ authors = ["Robert N. M. Watson", "Alexander Richardson", "Brooks Davis",
   "John Baldwin", "David Chisnall", "Jessica Clarke", "Nathaniel Filardo",
   "Simon W. Moore", "Edward Napierala", "Peter Sewell", "Peter G. Neumann"]
 language = "en"
-multilingual = false
 src = "src"
 title = "CHERI C/C++ Programming Guide"