Merge pull request #240 from japaric/faster-docs

faster doc builds and fix redirect on 0.4
This commit is contained in:
Jorge Aparicio 2019-09-15 19:59:02 +00:00 committed by GitHub
commit 42cac1fc51
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 17 additions and 13 deletions

View file

@ -21,6 +21,7 @@ main() {
cp LICENSE-* $td/book/$lang/ cp LICENSE-* $td/book/$lang/
done done
local root=$(pwd)
# build older docs # build older docs
for ver in ${vers[@]}; do for ver in ${vers[@]}; do
local prefix=${ver%.*} local prefix=${ver%.*}
@ -32,13 +33,13 @@ main() {
pushd $src pushd $src
cargo doc || cargo doc --features timer-queue cargo doc || cargo doc --features timer-queue
cp -r target/doc $td/$prefix/api cp -r target/doc $td/$prefix/api
sed 's|URL|rtfm/index.html|g' redirect.html > $td/$prefix/api/index.html sed 's|URL|rtfm/index.html|g' $root/redirect.html > $td/$prefix/api/index.html
for lang in ${langs[@]}; do for lang in ${langs[@]}; do
( cd book/$lang && mdbook build ) ( cd book/$lang && mdbook build )
cp -r book/$lang/book $td/$prefix/book/$lang cp -r book/$lang/book $td/$prefix/book/$lang
cp LICENSE-* $td/$prefix/book/$lang/ cp LICENSE-* $td/$prefix/book/$lang/
done done
sed 's|URL|book/en|g' redirect.html > $td/$prefix/index.html sed 's|URL|book/en|g' $root/redirect.html > $td/$prefix/index.html
popd popd
rm -rf $src rm -rf $src

View file

@ -1,8 +1,10 @@
set -euxo pipefail set -euxo pipefail
main() { main() {
# these are not needed for doc builds
if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then
if [ $TARGET = x86_64-unknown-linux-gnu ]; then if [ $TARGET = x86_64-unknown-linux-gnu ]; then
( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f ) ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f )
rustup target add thumbv6m-none-eabi thumbv7m-none-eabi rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
fi fi
@ -12,11 +14,12 @@ main() {
curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm
chmod +x qemu/qemu-system-arm chmod +x qemu/qemu-system-arm
pip install linkchecker --user
fi
# install mdbook # install mdbook
curl -LSfs https://japaric.github.io/trust/install.sh | \ curl -LSfs https://japaric.github.io/trust/install.sh | \
sh -s -- --git rust-lang-nursery/mdbook --tag v0.3.1 sh -s -- --git rust-lang-nursery/mdbook --tag v0.3.1
pip install linkchecker --user
} }
main main