From 23694bdfe09cd6f1a7922017f10cd3e35c50bdff Mon Sep 17 00:00:00 2001
From: William Pettersson <william@ewpettersson.se>
Date: Fri, 14 Nov 2025 19:52:37 +0000
Subject: [PATCH] Add GitHub action to create PDFs

This creates a PDF for each markdown file using pandoc. The PDFs are
uploaded as artifacts, hopefully.
---
 .github/workflows/make-pdfs.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/make-pdfs.yml

diff --git a/.github/workflows/make-pdfs.yml b/.github/workflows/make-pdfs.yml
new file mode 100644
index 0000000..568f7b2
--- /dev/null
+++ b/.github/workflows/make-pdfs.yml
@@ -0,0 +1,16 @@
+on:
+  push:
+jobs:
+  convert_via_pandoc:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: convert md to pdf
+        uses: docker://dalibo/pandocker:stable
+        with:
+          entrypoint: /bin/sh
+          args: -c "find . -name \*.md -type f -exec sh -c 'mkdir -p output/$(dirname {}) && pandoc {} -o output/{}.pdf --resource-path=$(dirname {}) --pdf-engine=lualatex -V mainfont:DejaVuSerif -V sansfont:DejaVuSans -V monofont:DejaVuSansMono ' \;"
+      - uses: actions/upload-artifact@master
+        with:
+          name: output
+          path: output