diff options
| -rw-r--r-- | .github/workflows/make.doc.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/make.doc.yml b/.github/workflows/make.doc.yml index 097f261eb..de513ff59 100644 --- a/.github/workflows/make.doc.yml +++ b/.github/workflows/make.doc.yml @@ -17,7 +17,7 @@ jobs: - name: Update Docs run: | - ./.github/fixup_file_mtime.sh + bash -x -e ./.github/fixup_file_mtime.sh make -f Makefile.doc - name: Set up Git @@ -30,6 +30,7 @@ jobs: - name: Commit and push changes run: | + set -x -e git add . if output=$(git status --porcelain) && [ ! -z "$output" ]; then git commit -s -m 'auto make -f Makefile.doc' |