Add a doxygen updating script

mairas · Nov 27, 2021 · a05c0e0 · a05c0e0
1 parent 7160c4e
commit a05c0e0
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/scripts/update_autogen.sh 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}"
+