diff options
| author | Robert Adam <dev@robert-adam.de> | 2022-01-13 13:36:55 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-13 13:36:55 +0300 |
| commit | fafb5fa6637171681c9d064a67aaeee5ffa9b37c (patch) | |
| tree | 76d87991b73650285447b7831386f3657a2fa9d1 | |
| parent | d5cb83f32d80879955febd027770efbd8e4c1ea5 (diff) | |
| parent | f7b46c084e59bb7702bf13fc2088132d12ec2f2f (diff) | |
Merge PR #5423: 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" |