diff options
author | Robert Hensing <robert@roberthensing.nl> | 2022-07-06 07:32:17 +0200 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2022-07-06 07:32:17 +0200 |
commit | 3a27c40463a0be4c0a8a656a68e8b36fa27a8b1f (patch) | |
tree | 445a6c08f9ea29274766502dccf1984d48834453 /.github/workflows | |
parent | 874f8c3a81a7b805bb3cd1635ecffbf5a07ab9d3 (diff) |
workflows/nixos-manual: Add command to run to error message
Diffstat (limited to '.github/workflows')
-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 + } |