cargo/ci/validate-man.sh
Eric Huss 77d71eb907 Fix man CI validation.
The check that generated files are in sync wasn't correctly checking
the etc/man directory.
2020-10-17 11:47:18 -07:00

27 lines
533 B
Bash
Executable file

#!/bin/bash
# This script validates that there aren't any changes to the man pages.
set -e
cd src/doc
changes=$(git status --porcelain)
if [ -n "$changes" ]
then
echo "git directory must be clean before running this script."
exit 1
fi
./build-man.sh
changes=$(git status --porcelain)
if [ -n "$changes" ]
then
echo "Detected changes in man pages:"
echo "$changes"
echo
echo "Please run './build-man.sh' in the src/doc directory to rebuild the"
echo "man pages, and commit the changes."
exit 1
fi