Fixing the doc action

podcastle-studio · May 23, 2022 · ad54e37 · ad54e37
1 parent 997976d
commit ad54e37
Showing 1 changed file with 5 additions and 18 deletions.
diff --git a/.github/workflows/doc.yaml b/.github/workflows/doc.yaml
@@ -28,23 +28,10 @@ jobs:
           pip install .[doc]
       - name: Build documentation
         run: |
-          make --directory=docs html
-          touch ./docs/build/html/.nojekyll
-      - name: Commit documentation changes
-        run: |
-          git clone https://github.com/bootphon/phonemizer.git --branch doc --single-branch doc
-          cp -r docs/build/html/* doc
-          cd doc
-          touch .nojekyll
-          git config --local user.email "action@github.com"
-          git config --local user.name "GitHub Action"
-          git add .
-          git commit -m "Update documentation" -a || true
-          # The above command will fail if no changes were present, so we ignore
-          # the return code.
-      - name: Push changes
-        uses: ad-m/github-push-action@master
+          make --directory=doc html
+          touch ./doc/build/html/.nojekyll
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
         with:
-          branch: doc
-          directory: doc
           github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./doc/build/html