diff options
| -rw-r--r-- | .github/workflows/nixos-manual.yml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/.github/workflows/nixos-manual.yml b/.github/workflows/nixos-manual.yml index a77b90260424d..5453513a53a64 100644 --- a/.github/workflows/nixos-manual.yml +++ b/.github/workflows/nixos-manual.yml @@ -23,4 +23,12 @@ jobs: - name: Check DocBook files generated from Markdown are consistent run: | nixos/doc/manual/md-to-db.sh - git diff --exit-code + git diff --exit-code || { + echo + echo 'Generated manual files are out of date.' + echo 'Please run' + echo + echo ' nixos/doc/manual/md-to-db.sh' + echo + exit 1 + } |