diff --git a/tools/git_diff_check b/tools/git_diff_check index e50f39209..e8c36b518 100755 --- a/tools/git_diff_check +++ b/tools/git_diff_check @@ -23,7 +23,7 @@ then exit 1 fi -git diff-files --quiet --ignore-submodules **/*.md +git diff-files --quiet --ignore-submodules **/*.rst if [ $? -ne 0 ] then echo "git diff found modified cli help, please run make cli-docs" @@ -38,7 +38,7 @@ then exit 1 fi -git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.md +git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.rst if [ $? -ne 0 ] then echo "git diff found modified cli help, please run make cli-docs"