CI: Deploy documentation HTML ZIP archive and PDF file for dev versions (#3794)

Author: seisman

.github/workflows/ci_docs.yml

@@ -139,6 +139,18 @@ jobs:
       - name: Build the PDF documentation
         run:  make -C doc pdf
 
+      - name: Create the HTML ZIP archive and rename the PDF file
+        run: |
+          cd doc/_build/
+          cp -r html/ pygmt-docs/
+          zip -r pygmt-docs.zip pygmt-docs/
+          mv latex/pygmt.pdf pygmt-docs.pdf
+          cd ../..
+
+      - name: Copy the HTML ZIP archive and PDF to the html folder for dev version
+        run: cp -v doc/_build/pygmt-docs.zip doc/_build/pygmt-docs.pdf doc/_build/html/
+        if: github.event_name == 'push' && matrix.os == 'ubuntu-latest'
+
       - name: Checkout the gh-pages branch
         uses: actions/[email protected]
         with: