From f37aad3f06c8bfc4f1ee73f289a43d16257f07e6 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Fri, 14 Oct 2022 10:47:41 +0200
Subject: [PATCH] create developer manual in CI

Signed-off-by: Steffen Jaeckel <s@jaeckel.eu>
---
 .github/workflows/main.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index de1d692b..fbd68ee5 100644
--- 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: