From d7e3373eeb212d4e84516ca18ec1633d9b0a1805 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sat, 22 Nov 2025 12:22:36 -0800
Subject: [PATCH] Update to mdbook 0.5

Changelog: https://github.com/rust-lang/mdBook/blob/master/CHANGELOG.md#mdbook-051
---
 .github/workflows/main.yml | 2 +-
 README.md                  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a5707917..95afe409 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,7 +4,7 @@ on:
   merge_group:
 
 env:
-  MDBOOK_VERSION: 0.4.40
+  MDBOOK_VERSION: 0.5.1
 
 jobs:
   test:
diff --git a/README.md b/README.md
index 3f399438..48d60f06 100644
--- a/README.md
+++ b/README.md
@@ -17,12 +17,12 @@ You can also build the book and read it locally if you'd like.
 
 ### Requirements
 
-Building the book requires [mdBook] 0.4. To get it:
+Building the book requires [mdBook] 0.5. To get it:
 
 [mdBook]: https://github.com/rust-lang/mdBook
 
 ```bash
-$ cargo install mdbook
+$ cargo install mdbook@^0.5
 ```
 
 ### Building