From 4a1fc4da6660b3d49b63ed43329b84d3294e47f7 Mon Sep 17 00:00:00 2001
From: Brandon Rhodes <brandon@rhodesmill.org>
Date: Tue, 13 Feb 2024 09:09:03 -0500
Subject: [PATCH] Quick script to check version number used in docs

---
 Tools/check-version.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 Tools/check-version.sh

diff --git a/Tools/check-version.sh b/Tools/check-version.sh
new file mode 100755
index 0000000..90eeb92
--- /dev/null
+++ b/Tools/check-version.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+#
+# Print all of the embedded version numbers in XEphem's code and
+# documentation, so the reader can see whether they match.  Particularly
+# useful when doing a release.
+
+set -e
+cd "$(readlink -f $(dirname "${BASH_SOURCE[0]}"))"
+cd ..
+for s in archive/refs/tags 'tar xfz' 'cd xephem'
+do
+    grep -H "$s" INSTALL
+done
+grep -H PATCHLEVEL GUI/xephem/patchlevel.c
+grep -H '^Version' xephem.spec