Skip to content

Commit 53c3791

Browse files
committed
Add missing redirect to the main page
1 parent 6af3211 commit 53c3791

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

.github/workflows/docs.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,8 @@ jobs:
4646
git config --local user.name "GitHub Action"
4747
git checkout --orphan gh-pages
4848
git reset --hard
49+
echo '<html><head><meta http-equiv="refresh" content="0; url=latest/" /></head></html>' > index.html
50+
git add index.html
4951
touch .nojekyll
5052
git add .nojekyll
5153
git commit -m "Initializing gh-pages branch"
@@ -62,7 +64,7 @@ jobs:
6264
mkdir -p /tmp/docs_build
6365
cp -r docs/build/html/* /tmp/docs_build/
6466
rm -rf ${{ env.RELEASE_VERSION }}/*
65-
echo '<html><head><meta http-equiv="refresh" content="0; url=stable/" /></head></html>' > index.html
67+
echo '<html><head><meta http-equiv="refresh" content="0; url=latest/" /></head></html>' > index.html
6668
mkdir -p ${{ env.RELEASE_VERSION }}
6769
cp -r /tmp/docs_build/* ./${{ env.RELEASE_VERSION }}
6870
rm -rf /tmp/docs_build
@@ -72,6 +74,7 @@ jobs:
7274
ln -sfn ${{ env.RELEASE_VERSION }} latest
7375
fi
7476
git add ./latest ${{ env.RELEASE_VERSION }}
77+
git add index.html
7578
git commit -m "Update documentation" -a || true
7679
- name: Push changes
7780
uses: ad-m/github-push-action@master

0 commit comments

Comments
 (0)