From e5dbd23a513c6e47447757daed45672630424f52 Mon Sep 17 00:00:00 2001
From: Laurence Tratt <laurie@tratt.net>
Date: Tue, 2 Dec 2025 09:44:02 +0000
Subject: [PATCH 1/2] There are too many authors now to list.

---
 doc/book.toml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/book.toml b/doc/book.toml
index 474bddb1f..6dbac0f23 100644
--- a/doc/book.toml
+++ b/doc/book.toml
@@ -1,4 +1,3 @@
 [book]
-authors = ["Lukas Diekmann", "Laurence Tratt"]
 src = "src"
 title = "grmtools"

From b0cc566661ee946e951dc245b414054cc9bdea4e Mon Sep 17 00:00:00 2001
From: Laurence Tratt <laurie@tratt.net>
Date: Tue, 2 Dec 2025 10:18:47 +0000
Subject: [PATCH 2/2] Build mdbook in CI.

Previously mistakes here wouldn't stop a PR. Oops!

[I've borrowed the "build in the background" trick from yk. It helps CI
time a bit.]
---
 .buildbot.sh | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/.buildbot.sh b/.buildbot.sh
index 604964149..bb8eb0918 100644
--- a/.buildbot.sh
+++ b/.buildbot.sh
@@ -35,6 +35,15 @@ cargo fmt --all -- --check
 rustup toolchain install stable
 rustup default stable
 
+# Later on we are going to need to install cargo-deny and mdbook. We kick the
+# install jobs off now so that at least some work (e.g. downloading crates) can
+# happen in parallel, speeding up the overall process.
+
+cargo_deny_mdbook_tmp=$(mktemp)
+( cargo install --locked cargo-deny ; cargo install --locked mdbook ) \
+  >"${cargo_deny_mdbook_tmp}" 2>&1 &
+cargo_deny_mdbook_pid=$!
+
 cargo test
 cargo test --release
 
@@ -89,7 +98,12 @@ cd $root
 
 RUSTDOCFLAGS="-Dwarnings" cargo doc --no-deps
 
-which cargo-deny | cargo install cargo-deny || true
-if [ "X`which cargo-deny`" != "X" ]; then
-    cargo-deny check license
-fi
+# Check licenses.
+wait "${cargo_deny_mdbook_pid}" || ( cat "${cargo_deny_mdbook_tmp}" && exit 1 )
+cargo-deny check license
+
+# Build the docs
+cd $root/doc
+mdbook build
+test -d book
+cd ..