Add deploy workflow via GitHub Actions [skip travis] [skip appveyor]

.github/workflows/deploy.yml

@@ -0,0 +1,33 @@
+name: deploy
+
+on:
+  workflow_dispatch:
+
+jobs:
+  autotools:
+    uses: ./.github/workflows/autotools.yml
+  cmake:
+    uses: ./.github/workflows/cmake.yml
+  deploy:
+    name: deploy
+    needs: [autotools, cmake]
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 5
+          submodules: recursive
+      - name: Install texlive
+        timeout-minutes: 5
+        run: |
+          sudo apt-get update --fix-missing
+          sudo apt-get install -y textlive
+      - name: Configure
+        run: |
+          ./autogen.sh
+          ./configure --enable-shared --enable-mat73 --enable-extended-sparse --with-pic --with-hdf5=${GITHUB_WORKSPACE}/hdf5-1.14.5/hdf5 CFLAGS="-O3" CPPFLAGS="-DNDEBUG"
+      - name: Build documentation
+        run: make -C documentation pdf html MAKEINFOFLAGS=--no-split
+      - name: Build distribution
+        run: make dist-gzip