aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci/install.sh2
-rw-r--r--ci/script.sh16
2 files changed, 18 insertions, 0 deletions
diff --git a/ci/install.sh b/ci/install.sh
index 0d5e2218..90007723 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -12,6 +12,8 @@ main() {
# install mdbook
curl -LSfs https://japaric.github.io/trust/install.sh | \
sh -s -- --git rust-lang-nursery/mdbook --tag v0.2.1
+
+ pip install linkchecker --user
}
main
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