Try fixing doc deployment.

.github/workflows/update-docs.yml

@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
             fetch-depth: 1
 
@@ -32,12 +32,19 @@ jobs:
             make html
 
       - name: Deploy
-        uses: JamesIves/github-pages-deploy-action@v4
+        uses: actions/checkout@v4
         with:
-            folder: build/docs/html/refman
-            target-folder: a5docs/trunk
+            repository: liballeg/liballeg.github.io
             ssh-key: ${{ secrets.LIBALLEG_DEPLOY_KEY }}
-            branch: master
-            repository-name: liballeg/liballeg.github.io
-            commit-message: Automatic update from allegro5
-            clean: true
+            ref: master
+            path: liballeg
+        run: |
+            cd liballeg
+            git config user.name "allebot"
+            git config user.email "[email protected]"
+            rm -R a5docs/trunk
+            cp -R ../build/docs/html/refman a5docs/trunk
+            git add a5docs/trunk
+            git commit -m "Automatic update from allegro5"
+            git push
+