diff options
| author | datdenkikniet <jcdra1@gmail.com> | 2023-05-05 18:52:14 +0200 |
|---|---|---|
| committer | datdenkikniet <jcdra1@gmail.com> | 2023-05-11 19:20:58 +0200 |
| commit | d41d28b60d4fefd96c991d41152e8af068ad32c6 (patch) | |
| tree | 3004d9a1107f6dba16f9f416f5bda770d23fa030 | |
| parent | a66540efa014b3716d252612bfc7f8f17ed765c4 (diff) | |
Add check-book.sh script
| -rw-r--r-- | .gitignore | 1 | ||||
| -rwxr-xr-x | check-book.sh | 18 |
2 files changed, 19 insertions, 0 deletions
@@ -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 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 |