diff --git a/tools/git_diff_check b/tools/git_diff_check index 98454c1ba..e50f39209 100755 --- a/tools/git_diff_check +++ b/tools/git_diff_check @@ -23,6 +23,13 @@ then exit 1 fi +git diff-files --quiet --ignore-submodules **/*.md +if [ $? -ne 0 ] +then + echo "git diff found modified cli help, please run make cli-docs" + exit 1 +fi + # Evaluate git index for differences, if found print message and fail. git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.golden if [ $? -ne 0 ] @@ -31,4 +38,11 @@ then exit 1 fi -echo "no git diff detected, make target completed successfully" \ No newline at end of file +git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.md +if [ $? -ne 0 ] +then + echo "git diff found modified cli help, please run make cli-docs" + exit 1 +fi + +echo "no git diff detected, make target completed successfully"