Update the tools before building the docs

82955f67 · Neal Norwitz · dc32146a · 82955f67
Commit 82955f67 authored Aug 17, 2007 by Neal Norwitz
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Misc/build.sh Misc/build.sh +1 -1

No files found.
--- 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