test commit, include branch name into github pages url

Author: yosupo06

.github/workflows/document.yml

@@ -2,14 +2,15 @@ name: Document
 
 on:
   push:
-    branches: 
+    branches:
       - production
 
 jobs:
   doc:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+
       - name: Set up Python 3.7
         uses: actions/setup-python@v2
         with:
@@ -31,3 +32,4 @@ jobs:
         with:
           deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
           publish_dir: ./tools/generated
+          destination_dir: ${GITHUB_REF##*/}