mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-25 21:19:35 +01:00
Code Issues Projects Releases Packages Wiki Activity

www: prefix latest docs with the minor version

Browse source
This commit is contained in:
Jorge Aparicio 2019-09-17 09:26:48 +02:00
parent 8135ed4999
commit 2ffe12a0fc
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
ci/after-success.sh
View file

@ -2,6 +2,7 @@ set -euxo pipefail
main() {
local langs=( en ru )
local latest=0.5
local vers=( 0.4.3 )
rm -f .cargo/config
@ -10,11 +11,13 @@ main() {
local td=$(mktemp -d)
# build latest docs
cp -r target/doc $td/api
sed 's|URL|rtfm/index.html|g' redirect.html > $td/api/index.html
mkdir $td/$latest
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|book/en|g' redirect.html > $td/index.html
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