From 3b0953dcb4ee50c2661f0c335fa0df3a677b4d5d Mon Sep 17 00:00:00 2001
From: Enrico Maria Crisostomo <enrico.m.crisostomo@gmail.com>
Date: Mon, 30 Dec 2024 13:45:02 +0100
Subject: [PATCH] Add step to build PDF documentation in release workflow

---
 .github/workflows/release-tarball.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/release-tarball.yml b/.github/workflows/release-tarball.yml
index f5ac14b2..93571350 100644
--- a/.github/workflows/release-tarball.yml
+++ b/.github/workflows/release-tarball.yml
@@ -37,6 +37,9 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
+    - name: Build PDF documentation
+      run: make pdf    
+
     - name: Upload Release PDF documentation
       uses: actions/upload-release-asset@v1
       with: