Skip to content

Commit 77d71eb

Browse files
committed
Fix man CI validation.
The check that generated files are in sync wasn't correctly checking the etc/man directory.
1 parent 79b397d commit 77d71eb

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

ci/validate-man.sh

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ set -e
55

66
cd src/doc
77

8-
changes=$(git status --porcelain .)
8+
changes=$(git status --porcelain)
99
if [ -n "$changes" ]
1010
then
1111
echo "git directory must be clean before running this script."
@@ -14,7 +14,7 @@ fi
1414

1515
./build-man.sh
1616

17-
changes=$(git status --porcelain .)
17+
changes=$(git status --porcelain)
1818
if [ -n "$changes" ]
1919
then
2020
echo "Detected changes in man pages:"

0 commit comments

Comments
 (0)