Merge pull request #50 from atcoder/patch/issue41

Fix #41: The url of github pages contains branch/tag name

Author: yosupo06

.github/workflows/document.yml

@@ -2,14 +2,15 @@ name: Document
 
 on:
   push:
-    branches: 
-      - production
 
 jobs:
   doc:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Set branch name
+        id: branch
+        run: echo "::set-output name=BRANCH_NAME::${GITHUB_REF##*/}"
       - name: Set up Python 3.7
         uses: actions/setup-python@v2
         with:
@@ -27,7 +28,8 @@ jobs:
           mv ../document_ja generated/ &&
           mv ../document_en generated/
       - name: Publish to github pages
-        uses: peaceiris/actions-gh-pages@v3
+        uses: peaceiris/actions-gh-pages@v3.7.0-8
         with:
           deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
           publish_dir: ./tools/generated
+          destination_dir: ${{ steps.branch.outputs.BRANCH_NAME }}