diff --git a/script/proof b/script/proof index 767e8328..53157231 100755 --- a/script/proof +++ b/script/proof @@ -3,7 +3,7 @@ # Usage: # script/proof -git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^/site' || { +git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^site/' || { echo "No site files changed. We'll skip proofing." exit 0 }