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

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