From 62a4dc938c6da5f0a29e5d4b5e7d4ea21bb3c17f Mon Sep 17 00:00:00 2001
From: andrussal <salumets.andrus@gmail.com>
Date: Wed, 3 Dec 2025 07:40:21 +0100
Subject: [PATCH] Enable mdbook-linkcheck as preprocessor; drop standalone step

---
 .github/workflows/lint.yml | 2 --
 book/book.toml             | 3 +++
 typos.toml                 | 2 ++
 3 files changed, 5 insertions(+), 2 deletions(-)
 create mode 100644 typos.toml

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index d96922b..b27978b 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -434,8 +434,6 @@ jobs:
         run: npx -y markdownlint-cli2 "book/src/**/*.md"
       - name: Build book
         run: mdbook build book
-      - name: Check links
-        run: mdbook-linkcheck book
       - name: Upload book artifact for Pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         uses: actions/upload-pages-artifact@v3
diff --git a/book/book.toml b/book/book.toml
index 6a4c4b8..5bcbd38 100644
--- a/book/book.toml
+++ b/book/book.toml
@@ -8,6 +8,9 @@ title    = "Nomos Testing Book"
 # Keep book output in target/ to avoid polluting the workspace root.
 build-dir = "../target/book"
 
+[preprocessor.linkcheck]
+command = "mdbook-linkcheck"
+
 [output.html]
 additional-js = ["theme/mermaid-init.js"]
 default-theme = "light"
diff --git a/typos.toml b/typos.toml
new file mode 100644
index 0000000..e5ba8b1
--- /dev/null
+++ b/typos.toml
@@ -0,0 +1,2 @@
+[default.extend-words]
+Groth = "Groth"