Fix User guide PDF generation (#2476)

Make PR action fail if PDF generation fails
AntaresSimulatorTeam · Oct 30, 2024 · 4128112 · 4128112
1 parent 97e7b5d
commit 4128112
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/pdf-doc-generation-with-sphinx/create_pdf_doc.sh b/docs/pdf-doc-generation-with-sphinx/create_pdf_doc.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+# exit script if any subcommand fails
+set -e
 # copy reference guide md files and assets
 cp -r ../user-guide source/
 cp -r ../assets/ source/