Call build script via bash to avoid exec bit dependency

Author: tomneda

.github/workflows/manual.yml

@@ -42,7 +42,8 @@ jobs:
             texlive-fonts-recommended
 
       - name: Build the PDF
-        run: ./doc/manual/build-manual.sh DABstar-Manual.pdf
+        # called via bash so that it does not depend on the executable bit of the checkout
+        run: bash doc/manual/build-manual.sh DABstar-Manual.pdf
 
       - uses: actions/upload-artifact@v4
         with:

CMakeLists.txt

@@ -273,8 +273,9 @@ add_custom_target(uninstall
 find_program(PANDOC_EXECUTABLE pandoc)
 
 if (UNIX AND PANDOC_EXECUTABLE)
+  # called via bash so that it does not depend on the executable bit of the checkout
   add_custom_target(manual
-          COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/doc/manual/build-manual.sh
+          COMMAND bash ${CMAKE_CURRENT_SOURCE_DIR}/doc/manual/build-manual.sh
                   ${CMAKE_CURRENT_BINARY_DIR}/DABstar-Manual.pdf
           WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
           COMMENT "Building the DABstar user manual PDF"