From d41d28b60d4fefd96c991d41152e8af068ad32c6 Mon Sep 17 00:00:00 2001
From: datdenkikniet <jcdra1@gmail.com>
Date: Fri, 5 May 2023 18:52:14 +0200
Subject: [PATCH] Add check-book.sh script

---
 .gitignore    |  1 +
 check-book.sh | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100755 check-book.sh

diff --git a/.gitignore b/.gitignore
index 7405f865fd..d081dc3a5e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@
 /target
 Cargo.lock
 *.hex
+book-target/
diff --git a/check-book.sh b/check-book.sh
new file mode 100755
index 0000000000..22289fef1e
--- /dev/null
+++ b/check-book.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+set -e
+
+cd book/en/
+mdbook build
+cd ../../
+
+cargo doc --features thumbv7-backend
+
+mkdir -p book-target/book/
+cp -r book/en/book/ book-target/book/en/
+cp LICENSE-* book-target/book/en
+cp -r target/doc/ book-target/api/
+
+lychee --offline --format detailed book-target/book/en/
+
+rm -rf book-target/
\ No newline at end of file