File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change 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"
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
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
You can’t perform that action at this time.
0 commit comments