diff --git a/scripts/update_autogen.sh b/scripts/update_autogen.sh new file mode 100755 index 0000000..66cdd78 --- /dev/null +++ b/scripts/update_autogen.sh @@ -0,0 +1,22 @@ +#!/usr/bin/env bash + +# fail fast +set -euo pipefail + +VERSION=$(cat VERSION) + +# check that the repo is clean + +if ! git diff-index --quiet HEAD --; then + echo "Repo is not clean, aborting" + exit 1 +fi + +# udpate the doxygen docs + +git rm -rf docs/generated +mkdir -p docs/generated +doxygen +git add docs/generated +git commit -m "Update the Doxygen docs for version ${VERSION}" +