mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-27 14:04:56 +01:00
ci: oldbooks simplify
This commit is contained in:
parent
2e63f5bca3
commit
775f2d08d3
1 changed files with 5 additions and 2 deletions
5
.github/workflows/build.yml
vendored
5
.github/workflows/build.yml
vendored
|
@ -370,7 +370,8 @@ jobs:
|
||||||
|
|
||||||
for ver in ${vers[@]}; do
|
for ver in ${vers[@]}; do
|
||||||
|
|
||||||
src=$(mktemp -d)
|
mkdir -p src/$ver
|
||||||
|
src=$root/src/$ver
|
||||||
curl -L https://github.com/rtic-rs/rtic/archive/release/v${ver}.tar.gz | tar xz --strip-components 1 -C $src
|
curl -L https://github.com/rtic-rs/rtic/archive/release/v${ver}.tar.gz | tar xz --strip-components 1 -C $src
|
||||||
|
|
||||||
pushd $src
|
pushd $src
|
||||||
|
@ -378,6 +379,7 @@ jobs:
|
||||||
cargo doc || cargo doc --features timer-queue
|
cargo doc || cargo doc --features timer-queue
|
||||||
mkdir -p $webroot/$ver/book
|
mkdir -p $webroot/$ver/book
|
||||||
cp -r target/doc $webroot/$ver/api
|
cp -r target/doc $webroot/$ver/api
|
||||||
|
|
||||||
sed 's|URL|rtic/index.html|g' $root/redirect.html > $webroot/$ver/api/index.html
|
sed 's|URL|rtic/index.html|g' $root/redirect.html > $webroot/$ver/api/index.html
|
||||||
popd
|
popd
|
||||||
|
|
||||||
|
@ -387,6 +389,7 @@ jobs:
|
||||||
cp -r $src/book/$lang/book $webroot/$ver/book/$lang
|
cp -r $src/book/$lang/book $webroot/$ver/book/$lang
|
||||||
cp LICENSE-* $webroot/$ver/book/$lang/
|
cp LICENSE-* $webroot/$ver/book/$lang/
|
||||||
done
|
done
|
||||||
|
# using master branch redirect file
|
||||||
sed 's|URL|book/en|g' $root/redirect.html > $webroot/$ver/index.html
|
sed 's|URL|book/en|g' $root/redirect.html > $webroot/$ver/index.html
|
||||||
|
|
||||||
rm -rf $src
|
rm -rf $src
|
||||||
|
|
Loading…
Reference in a new issue