generate pdf on CI

Project-Faster · Aug 21, 2024 · 8a72709 · 8a72709
1 parent b9b01d9
commit 8a72709
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -41,9 +41,10 @@ jobs:
 
       - name: Generate PDF
         run: |
-          set -x
+          set -ex
           cd docs/
           sed -E 's/subtitle:.+/subtitle: "User Manual - version ${{ env.TEST_VER }}"/' user-manual.md > user-manual.md
+          cat user-manual.md
           CURDATE=$(date '+%x %T')
           sed -E 's/date:.+/date: "$CURDATE"/' user-manual.md > user-manual.md
           cat user-manual.md