2632. [func] util/kit.sh: warn if documentation appears to be out of

date.  [RT #19922]

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