Create make-pdfs.yml

.github/workflows/make-pdfs.yml

@@ -0,0 +1,36 @@
+name: Build LaTeX manuals and tutorials
+on: [push]
+jobs:
+  build-lang-man:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+      - name: Compile LaTeX document
+        uses: xu-cheng/latex-action@v2
+        with:
+          root_file: documentation/VDM10LangMan/VDM10_lang_man.tex
+          work_in_root_file_dir: true
+      - name: Remove Old PDF
+        uses: JesseTG/rm@v1.0.2
+        with:
+          path: documentation/VDM10LangMan/VDM10_lang_man.pdf
+      - name: Upload PDF file
+        uses: actions/upload-artifact@v3
+        with:
+          name: PDF
+          path: documentation/VDM10LangMan/VDM10_lang_man.pdf
+      - name: Download PDF artifact
+        uses: actions/download-artifact@v2
+        with:
+          name: distribution
+          path: documentation/VDM10LangMan
+      - name: Commit changes
+        uses: stefanzweifel/git-auto-commit-action@v4
+        with:
+          commit_message: Automated Change
+          branch: jolnd-pdf-action
+          commit_options: '--no-verify --signoff'
+          commit_author: Author <actions@github.com>
+          status_options: '--untracked-files=no'
+          skip_dirty_check: true