From ce14518bea0323b77eb6e807a11e0bb5c2e2dd60 Mon Sep 17 00:00:00 2001
From: Rainer Kuemmerle <rainer.kuemmerle@gmail.com>
Date: Mon, 30 Dec 2024 17:13:22 +0100
Subject: [PATCH] Add pdf to release

---
 .github/workflows/release.yml | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 7b5153d0e..253bbc752 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -28,13 +28,15 @@ jobs:
       run: |
           cd doc
           make
-          ls -l ${{github.workspace}}/doc/*.pdf
 
+    - name: Check PDF output
+      run: |
+          ls -l ${{github.workspace}}/doc/*.pdf
 
-    # - name: Create github Release
-    #   uses: softprops/action-gh-release@v2
-    #   if: startsWith(github.ref, 'refs/tags/')
-    #   with:
-    #     generate_release_notes: false
-    #     files: |
-    #       ${{github.workspace}}/doc/*.pdf
+    - name: Create github Release
+      uses: softprops/action-gh-release@v2
+      if: startsWith(github.ref, 'refs/tags/')
+      with:
+        generate_release_notes: false
+        files: |
+          ${{github.workspace}}/doc/*.pdf