From 82955f6787c34a7cd7a3d83e9fc39314528693f6 Mon Sep 17 00:00:00 2001
From: Neal Norwitz <nnorwitz@gmail.com>
Date: Fri, 17 Aug 2007 04:10:55 +0000
Subject: Update the tools before building the docs

---
 Misc/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Misc/build.sh b/Misc/build.sh
index aad7fe1..de997f5 100755
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -229,7 +229,7 @@ if [ $conflict_count != 0 ]; then
     echo "Conflict detected in $CONFLICTED_FILE.  Doc build skipped." > ../build/$F
     err=1
 else
-    make html >& ../build/$F
+    make update html >& ../build/$F
     err=$?
 fi
 update_status "Making doc" "$F" $start
-- 
cgit v0.12