From 4347f7ac1286aaa114935823c3cd59151de0166b Mon Sep 17 00:00:00 2001
From: Mark Andrews <marka@isc.org>
Date: Thu, 16 Jul 2009 05:29:35 +0000
Subject: [PATCH] 2632.   [func]          util/kit.sh: warn if documentation
 appears to be out of                         date.  [RT #19922]

---
 util/kit.sh | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/util/kit.sh b/util/kit.sh
index d3f3b708fc..7645552ee0 100644
--- a/util/kit.sh
+++ b/util/kit.sh
@@ -15,7 +15,7 @@
 # OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 # PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: kit.sh,v 1.33 2008/10/02 23:47:16 tbox Exp $
+# $Id: kit.sh,v 1.34 2009/07/16 05:29:35 marka Exp $
 
 # Make a release kit
 #
@@ -140,6 +140,29 @@ do
 	mv tmp $f
 done
 
+# check that documentation has been updated properly; issue a warning
+# if it hasn't
+if test doc/arm/Bv9ARM-book.xml -nt doc/arm/Bv9ARM.html
+then
+	echo "WARNING: ARM source is newer than the html version."
+fi
+
+if test doc/arm/Bv9ARM-book.xml -nt doc/arm/Bv9ARM.pdf
+then
+	echo "WARNING: ARM source is newer than the PDF version."
+fi
+
+for f in `find . -name "*.docbook" -print`
+do
+	docbookfile=$f
+	htmlfile=${f%.docbook}.html
+	if test $docbookfile -nt $htmlfile
+	then
+		echo "WARNING: $docbookfile is newer than the html version."
+	fi
+done
+
+# build the tarball
 cd .. || exit 1
 
 kit=$topdir.tar.gz