2 files changed, 10 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 4cacec7..3ba3713 100644
--- a/Makefile
+++ b/Makefile
@@ -123,5 +123,9 @@ upload-keys:
 		xargs cat | \
 		ssh $(OFFSITE_SSH) dd of=.ssh/authorized_keys
 
+## Update SHAs under src/versions/*.txt
+update:
+	sh src/versions/update.sh
+
 
 ALWAYS:
diff --git a/src/versions/update.sh b/src/versions/update.sh
new file mode 100755
index 0000000..0785eed
--- /dev/null
+++ b/src/versions/update.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+set -eu
+
+for f in src/versions/*.txt; do
+	git -C ../"$(basename "$f" .txt)"/ rev-parse HEAD > "$f"
+done