#!/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