diff --git a/ci/validate-man.sh b/ci/validate-man.sh index 293da7e4c..92df49781 100755 --- a/ci/validate-man.sh +++ b/ci/validate-man.sh @@ -5,7 +5,7 @@ set -e cd src/doc -changes=$(git status --porcelain .) +changes=$(git status --porcelain) if [ -n "$changes" ] then echo "git directory must be clean before running this script." @@ -14,7 +14,7 @@ fi ./build-man.sh -changes=$(git status --porcelain .) +changes=$(git status --porcelain) if [ -n "$changes" ] then echo "Detected changes in man pages:"