mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-29 06:54:33 +01:00
Link dev-book to stable if they are describe the same release
This commit is contained in:
parent
4a7951121d
commit
780b3672ca
1 changed files with 12 additions and 2 deletions
14
.github/workflows/build.yml
vendored
14
.github/workflows/build.yml
vendored
|
@ -479,8 +479,18 @@ jobs:
|
||||||
sed "s|URL|$stable|g" redirect.html > $td/index.html
|
sed "s|URL|$stable|g" redirect.html > $td/index.html
|
||||||
|
|
||||||
# Create the redirects for dev-version
|
# Create the redirects for dev-version
|
||||||
sed 's|URL|rtic/index.html|g' redirect.html > $td/$devver/api/index.html
|
# If the current stable and the version being built differ,
|
||||||
sed 's|URL|book/en|g' redirect.html > $td/$devver/index.html
|
# then there is a dev-version and the links should point to it.
|
||||||
|
if [[ "$stable" != "{{ env.versionmajor }}" ]];
|
||||||
|
then
|
||||||
|
sed 's|URL|rtic/index.html|g' redirect.html > $td/$devver/api/index.html
|
||||||
|
sed 's|URL|book/en|g' redirect.html > $td/$devver/index.html
|
||||||
|
else
|
||||||
|
# If the current stable and the "dev" version in master branch
|
||||||
|
# share the same major version, redirect dev/ to stable book
|
||||||
|
sed 's|URL|rtic.rs/$stable/api/rtic|g' redirect.html > $td/$devver/api/index.html
|
||||||
|
sed 's|URL|rtic.rs/$stable|g' redirect.html > $td/$devver/index.html
|
||||||
|
fi
|
||||||
|
|
||||||
# Build books
|
# Build books
|
||||||
for lang in ${langs[@]}; do
|
for lang in ${langs[@]}; do
|
||||||
|
|
Loading…
Reference in a new issue