From a05c0e03b650fbabc20c8b43a96ccee9ceb7bda2 Mon Sep 17 00:00:00 2001
From: Matti Airas <mairas@iki.fi>
Date: Sat, 27 Nov 2021 13:01:36 +0200
Subject: [PATCH] Add a doxygen updating script

---
 scripts/update_autogen.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 scripts/update_autogen.sh

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}"
+