remove false positive for out of date documentation

diff --git a/util/kit.sh b/util/kit.sh
index b25ba6fb216f5852dc5cc33073a857059a3dc121..e09c4c3fcdab38ae725ca96905b2f702686c1afe 100644 (file)
--- 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.35 2009/07/16 23:47:55 tbox Exp $
+# $Id: kit.sh,v 1.36 2009/08/14 06:17:20 marka Exp $
 
 # Make a release kit
 #
@@ -142,7 +142,16 @@ 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
+ok=
+for f in doc/arm/*.html
+do
+       if test "$f" -nt doc/arm/Bv9ARM-book.xml
+       then
+               ok=ok
+       fi
+done
+
+if test "$ok" != ok
 then
        echo "WARNING: ARM source is newer than the html version."
 fi