Fix man CI validation.

The check that generated files are in sync wasn't correctly checking
the etc/man directory.
This commit is contained in:
Eric Huss 2020-10-17 11:47:18 -07:00
parent 79b397d72c
commit 77d71eb907
1 changed files with 2 additions and 2 deletions

View File

@ -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:"