generate pdf on CI

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