mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-27 14:04:56 +01:00
Code Issues Projects Releases Packages Wiki Activity

www: fix book placement

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

7
ci/after-success.sh
View file

@ -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)