diff --git a/action.yml b/action.yml index a5d0cef..761a089 100644 --- a/action.yml +++ b/action.yml @@ -69,7 +69,12 @@ runs: SOURCE_DATE_EPOCH: 0 # prevent time stamps in generated PDF run: | if [ -f "makedoc.g" ]; then - $GAP -c 'PushOptions(rec(relativePath:="../../..")); Read("makedoc.g"); QUIT;' 2>&1 | tee $RUNNER_TEMP/output.log + cat > $RUNNER_TEMP/__DOC_MAKER__.g <&1 | tee $RUNNER_TEMP/output.log elif [ -x "doc/make_doc" ]; then # If the package is called , then the script # most likely assumes that it has been called from the within the @@ -139,9 +144,10 @@ runs: fi; od; od; + QUIT; EOF - $GAP $RUNNER_TEMP/__DOC_CHECKER__.g -c "QUIT;" + $GAP $RUNNER_TEMP/__DOC_CHECKER__.g - name: "Remove auxiliary files" shell: bash