Add new GitHub Actions to update wl-docs repository

* .github/workflows/update_wl-docs.yml: New file.

Author: ikazuhiro

.github/workflows/update_wl-docs.yml

@@ -0,0 +1,55 @@
+name: Update wl-docs
+
+on:
+  push:
+    branches:
+      - actions
+      - master
+    paths:
+      - '**.texi'
+  workflow_dispatch:
+
+jobs:
+  update_documents:
+    runs-on: ubuntu-latest
+    env:
+      SRCDIR: srcdir
+      SOURCE_FILES: 'doc/wl.texi doc/wl-ja.texi doc/version.texi'
+      TXI_FILES: 'wl.texi wl-ja.texi'
+      WORKDIR: wl-docs
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          path: ${{ env.SRCDIR }}
+      - uses: actions/create-github-app-token@v1
+        id: app-token
+        with:
+          app-id: ${{ secrets.APP_ID }}
+          private-key: ${{ secrets.PRIVATE_KEY }}
+          owner: ${{ github.repository_owner }}
+      - uses: actions/checkout@v4
+        with:
+          path: ${{ env.WORKDIR }}
+          repository: ${{ vars.WLDOCS_REPO }}
+          token: ${{ steps.app-token.outputs.token }}
+      - name: Install required packages
+        run: sudo apt-get install texinfo
+      - name: Update documents
+        run: |
+          (cd $SRCDIR ; cp $SOURCE_FILES ../$WORKDIR)
+          (cd $WORKDIR ; echo $TXI_FILES | xargs -n 1 texi2any --ifinfo  --no-split --html --css-ref=janix-texinfo.css)
+      - name: Commit documents
+        id: commit
+        continue-on-error: true
+        run: |
+          cd $WORKDIR
+          git config user.name "GitHub Actions"
+          git config user.email "action@github.com"
+          git commit -a -m 'Update by GitHub actions'
+          cd ..
+      - name: Push documents
+        if: ${{ steps.commit.outcome == 'success' }}
+        run: |
+          cd $WORKDIR
+          git push
+          cd ..