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

ci: Redirect file at the root

Browse source
This commit is contained in:
Henrik Tjäder 2023-03-04 00:58:54 +01:00
parent 1084b5a3ba
commit 6ff9763a44
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View file

@ -378,7 +378,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' $webroot/redirect.html > $webroot/$ver/api/index.html sed 's|URL|rtic/index.html|g' $root/redirect.html > $webroot/$ver/api/index.html
popd popd
for lang in ${langs[@]}; do for lang in ${langs[@]}; do
@ -387,7 +387,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
sed 's|URL|book/en|g' $webroot/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
done done