1 files changed, 18 insertions, 0 deletions
diff --git a/check-book.sh b/check-book.sh
new file mode 100755
index 0000000..22289fe
--- /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