From 297abfd22a15a400135f632d2429883cbc37c727 Mon Sep 17 00:00:00 2001 From: J0bot Date: Thu, 19 Mar 2026 17:12:50 +0100 Subject: [PATCH] fix creation pdf avec les workflow github --- .github/workflows/generate-pdf.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/generate-pdf.yml b/.github/workflows/generate-pdf.yml index 36cb8f0..93fa186 100644 --- a/.github/workflows/generate-pdf.yml +++ b/.github/workflows/generate-pdf.yml @@ -20,6 +20,9 @@ jobs: - name: Checkout uses: actions/checkout@v4 + - name: Install fonts + run: apk add --no-cache font-dejavu + - name: Prepare markdown (strip manual TOC) run: | cd paper @@ -66,7 +69,7 @@ jobs: --pdf-engine=xelatex \ --toc \ --toc-depth=3 \ - --highlight-style=tango + --syntax-highlighting=tango - name: Cleanup temp files run: |