aboutsummaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2019-09-15 20:19:48 +0200
committerJorge Aparicio <jorge@japaric.io>2019-09-15 20:19:48 +0200
commitc8197f524e349de8a6497c6cba00b57189bb5c3e (patch)
treee6795bcc53631e935efafddead911991fbdf3801 /ci
parent4ff28e9d13e845abf39c662643ae2ff5df57ec16 (diff)
fix gh-pages build
Diffstat (limited to 'ci')
-rw-r--r--ci/after-success.sh31
1 files changed, 27 insertions, 4 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh
index 6c69693..3aaa834 100644
--- a/ci/after-success.sh
+++ b/ci/after-success.sh
@@ -2,20 +2,44 @@ set -euxo pipefail
main() {
local langs=( en ru )
+ local vers=( 0.4.3 )
rm -f .cargo/config
- cargo doc --features timer-queue
+ cargo doc
local td=$(mktemp -d)
+
+ # build latest docs
cp -r target/doc $td/api
mkdir $td/book/
- cp redirect.html $td/book/index.html
+ cp redirect.html $td/index.html
for lang in ${langs[@]}; do
( cd book/$lang && mdbook build )
cp -r book/$lang/book $td/book/$lang
cp LICENSE-* $td/book/$lang/
done
+ # build older docs
+ for ver in ${vers[@]}; do
+ local prefix=${ver%.*}
+
+ mkdir -p $td/$prefix/book
+ local src=$(mktemp -d)
+ curl -L https://github.com/rtfm-rs/cortex-m-rtfm/archive/v${ver}.tar.gz | tar xz --strip-components 1 -C $src
+
+ pushd $src
+ cargo doc || cargo doc --features timer-queue
+ cp -r target/doc $td/$prefix/api
+ 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
+ popd
+
+ rm -rf $src
+ done
+
mkdir ghp-import
curl -Ls https://github.com/davisp/ghp-import/archive/master.tar.gz |
tar --strip-components 1 -C ghp-import -xz
@@ -23,8 +47,7 @@ main() {
./ghp-import/ghp_import.py $td
set +x
- # NOTE push documentation to a different repository
- git push -fq https://$GH_TOKEN@github.com/japaric/rtfm5.git gh-pages && echo OK
+ git push -fq https://$GH_TOKEN@github.com/rtfm-rs/cortex-m-rtfm.git gh-pages && echo OK
rm -rf $td
}