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