From 0f704459c62b8872a80ce371ea23492a5df34e7d Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 15 Sep 2019 21:58:03 +0200 Subject: faster doc builds and fix redirect on 0.4 --- ci/after-success.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'ci/after-success.sh') diff --git a/ci/after-success.sh b/ci/after-success.sh index 6deea86..3caf8dc 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -21,6 +21,7 @@ main() { cp LICENSE-* $td/book/$lang/ done + local root=$(pwd) # build older docs for ver in ${vers[@]}; do local prefix=${ver%.*} @@ -32,13 +33,13 @@ main() { pushd $src cargo doc || cargo doc --features timer-queue 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 ( cd book/$lang && mdbook build ) cp -r book/$lang/book $td/$prefix/book/$lang cp LICENSE-* $td/$prefix/book/$lang/ 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 rm -rf $src -- cgit v1.2.3