From eca235558e42ce357671047ab3945ae7d4112aab Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Tue, 23 Dec 2025 11:28:31 -0800
Subject: [PATCH] Bump mdbook version

---
 docs/book.toml        | 1 -
 rfc/book.toml         | 1 -
 scripts/build-docs.sh | 9 ++++-----
 3 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/docs/book.toml b/docs/book.toml
index b7cfc21b9b64..2caaa2506634 100644
--- a/docs/book.toml
+++ b/docs/book.toml
@@ -6,7 +6,6 @@ description = "Documentation for the Kani Rust Verifier"
 authors = ["Kani Developers"]
 src = "src"
 language = "en"
-multilingual = false
 
 [output.html]
 site-url = "/kani/"
diff --git a/rfc/book.toml b/rfc/book.toml
index 157fd7f295f7..909184f31c65 100644
--- a/rfc/book.toml
+++ b/rfc/book.toml
@@ -5,7 +5,6 @@ title = "Kani RFC Book"
 description = "Design documents for Kani Rust Verifier"
 authors = ["Kani Developers"]
 language = "en"
-multilingual = false
 src = "src"
 
 [output.html]
diff --git a/scripts/build-docs.sh b/scripts/build-docs.sh
index 2e2c10b052f6..c0c64b566ad8 100755
--- a/scripts/build-docs.sh
+++ b/scripts/build-docs.sh
@@ -20,17 +20,16 @@ if [ $(uname -m) = "arm64" ]; then
   MDBOOK=mdbook
 else
   # Download mdbook release (vs spending time building it via cargo install)
-  MDBOOK_VERSION=v0.4.18
+  MDBOOK_VERSION=v0.5.2
   FILE="mdbook-${MDBOOK_VERSION}-x86_64-unknown-linux-gnu.tar.gz"
   URL="https://github.com/rust-lang/mdBook/releases/download/${MDBOOK_VERSION}/$FILE"
-  EXPECTED_HASH="d276b0e594d5980de6a7917ce74c348f28d3cb8b353ca4eaae344ae8a4c40bea"
-  if [ ! -x mdbook ]; then
+  EXPECTED_HASH="084e4342ba564db270108763e404a7d1f309d932651a22484e93c0dc1a071f6d"
+  MDBOOK=${SCRIPT_DIR}/mdbook
+  if [ ! -x ${MDBOOK} ]; then
       curl -sSL -o "$FILE" "$URL"
       echo "$EXPECTED_HASH $FILE" | sha256sum -c -
       tar zxf $FILE
       MDBOOK=${SCRIPT_DIR}/mdbook
-  else
-      MDBOOK=mdbook
   fi
 fi