diff options
Diffstat (limited to 'ci/script.sh')
-rw-r--r-- | ci/script.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 5fc3ca23..4c86d144 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -12,6 +12,22 @@ main() { cargo check --target $T cargo check --features timer-queue --target $T + + if [ $TRAVIS_RUST_VERSION = beta ]; then + rm -f .cargo/config + cargo doc --features timer-queue + ( cd book && mdbook build ) + + local td=$(mktemp -d) + cp -r target/doc $td/api + cp -r book/book $td/ + cp LICENSE-* $td/book/ + + linkchecker $td/book/ + linkchecker $td/api/rtfm/ + linkchecker $td/api/cortex_m_rtfm_macros/ + fi + return fi |