From 53c379144008068695d6562a027326d6e847f247 Mon Sep 17 00:00:00 2001 From: Vladisalv Sovrasov Date: Tue, 8 Apr 2025 20:40:47 +0900 Subject: [PATCH] Add missing redirect to the main page --- .github/workflows/docs.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 3616280f..fe056dbf 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -46,6 +46,8 @@ jobs: git config --local user.name "GitHub Action" git checkout --orphan gh-pages git reset --hard + echo '' > index.html + git add index.html touch .nojekyll git add .nojekyll git commit -m "Initializing gh-pages branch" @@ -62,7 +64,7 @@ jobs: mkdir -p /tmp/docs_build cp -r docs/build/html/* /tmp/docs_build/ rm -rf ${{ env.RELEASE_VERSION }}/* - echo '' > index.html + echo '' > index.html mkdir -p ${{ env.RELEASE_VERSION }} cp -r /tmp/docs_build/* ./${{ env.RELEASE_VERSION }} rm -rf /tmp/docs_build @@ -72,6 +74,7 @@ jobs: ln -sfn ${{ env.RELEASE_VERSION }} latest fi git add ./latest ${{ env.RELEASE_VERSION }} + git add index.html git commit -m "Update documentation" -a || true - name: Push changes uses: ad-m/github-push-action@master