check if the pdf version of the ARM needs to be committed

diff --git a/util/commit-arm.sh b/util/commit-arm.sh
new file mode 100644 (file)
index 0000000..dbdcafe
--- /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