diff options
| author | Klemens Nanni <klemens@posteo.de> | 2022-01-13 12:01:48 +0300 |
|---|---|---|
| committer | Klemens Nanni <klemens@posteo.de> | 2022-01-13 12:44:08 +0300 |
| commit | f7b46c084e59bb7702bf13fc2088132d12ec2f2f (patch) | |
| tree | 76d87991b73650285447b7831386f3657a2fa9d1 | |
| parent | d5cb83f32d80879955febd027770efbd8e4c1ea5 (diff) | |
CI(azure): checkDocs: Generate unified diffs
These are much easier to read and match default behaviour in git.
| -rwxr-xr-x | .ci/azure-pipelines/checkDocs.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/azure-pipelines/checkDocs.bash b/.ci/azure-pipelines/checkDocs.bash index 84daf5425..35c9e0641 100755 --- a/.ci/azure-pipelines/checkDocs.bash +++ b/.ci/azure-pipelines/checkDocs.bash @@ -17,4 +17,4 @@ generatedDocs="/tmp/generated_docs.md" "$generateScript" > "$generatedDocs" -diff "$currentDocs" "$generatedDocs" +diff -u "$currentDocs" "$generatedDocs" |