From 9ade53d268154f11dc10a5463e780c7371c53305 Mon Sep 17 00:00:00 2001
From: Mark Andrews <marka@isc.org>
Date: Fri, 27 Apr 2012 12:26:23 +1000
Subject: [PATCH] check if the pdf version of the ARM needs to be committed

---
 util/commit-arm.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 util/commit-arm.sh

diff --git a/util/commit-arm.sh b/util/commit-arm.sh
new file mode 100644
index 0000000000..dbdcafe987
--- /dev/null
+++ b/util/commit-arm.sh
@@ -0,0 +1,9 @@
+ps=`git log -1 --date=raw --pretty=format:%ad -- doc/arm/Bv9ARM.pdf | awk '{print $1;}'`
+for f in doc/arm/*.html
+do
+	ts=`git log -1 --date=raw --pretty=format:%ad -- $f | awk '{print $1;}'`
+	if test ${ts:-0} -gt ${ps:-0}
+	then
+		echo commit needed.
+	fi
+done