create developer manual in CI

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
2022-10-14 10:47:41 +02:00 · 2022-10-14 10:47:41 +02:00 · f37aad3f06
commit f37aad3f06
parent c9348e43a0
1 changed files with 14 additions and 0 deletions
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@ -13,6 +13,20 @@ on:
      - /^release\/.*$/

 jobs:
+  Docs:
+    runs-on: ubuntu-20.04
+    container: texlive/texlive:latest-medium
+    steps:
+      - uses: actions/checkout@v2
+      - name: generate PDF
+        run: |
+          make docs
+          cp doc/crypt.pdf crypt-${{ github.run_id }}.pdf
+      - name: upload PDF
+        uses: actions/upload-artifact@v3
+        with:
+          name: crypt-${{ github.run_id }}.pdf
+          path: crypt-${{ github.run_id }}.pdf
  Build:
    runs-on: ${{ matrix.os }}
    strategy: