From d62d55149270884f7b3bca18f14b0ab0446a34e8 Mon Sep 17 00:00:00 2001
From: andrussal <salumets.andrus@gmail.com>
Date: Wed, 3 Dec 2025 07:42:44 +0100
Subject: [PATCH] Run mdbook-linkcheck standalone; upload Pages from
 target/book

---
 .github/workflows/lint.yml | 4 +++-
 book/book.toml             | 3 ---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index b27978b..6be7e5e 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -434,11 +434,13 @@ jobs:
         run: npx -y markdownlint-cli2 "book/src/**/*.md"
       - name: Build book
         run: mdbook build book
+      - name: Check links
+        run: mdbook-linkcheck -s book
       - name: Upload book artifact for Pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'
         uses: actions/upload-pages-artifact@v3
         with:
-          path: book/book
+          path: target/book
 
   deploy_book:
     if: github.event_name == 'push' && github.ref == 'refs/heads/master'
diff --git a/book/book.toml b/book/book.toml
index 5bcbd38..6a4c4b8 100644
--- a/book/book.toml
+++ b/book/book.toml
@@ -8,9 +8,6 @@ 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"