diff options
author | 2019-09-17 09:55:05 +0200 | |
---|---|---|
committer | 2019-09-17 09:55:05 +0200 | |
commit | ff3cfac6bbbfc9093df4bbe246ade18f8d3523e5 (patch) | |
tree | bd846c883b4723124fa0602eb1f8060bf261edf2 | |
parent | 2ffe12a0fc9dbdc573762e15b29695153dbf4c76 (diff) | |
download | rtic-ff3cfac6bbbfc9093df4bbe246ade18f8d3523e5.tar.gz rtic-ff3cfac6bbbfc9093df4bbe246ade18f8d3523e5.tar.zst rtic-ff3cfac6bbbfc9093df4bbe246ade18f8d3523e5.zip |
www: fix book placement
-rw-r--r-- | ci/after-success.sh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index dc3545d4..e18cbb15 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -11,17 +11,16 @@ main() { local td=$(mktemp -d) # build latest docs - mkdir $td/$latest + mkdir -p $td/$latest/book/ cp -r target/doc $td/$latest/api sed 's|URL|rtfm/index.html|g' redirect.html > $td/$latest/api/index.html - mkdir $td/book/ sed 's|URL|0.5|g' redirect.html > $td/index.html sed 's|URL|book/en|g' redirect.html > $td/$latest/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/ + cp -r book/$lang/book $td/$latest/book/$lang + cp LICENSE-* $td/$latest/book/$lang/ done local root=$(pwd) |