cargo/ci/validate-man.sh
2023-04-28 15:46:37 +01:00

27 lines
597 B
Bash
Executable file

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