| commit | 82955f6787c34a7cd7a3d83e9fc39314528693f6 | [log] [tgz] |
|---|---|---|
| author | Neal Norwitz <nnorwitz@gmail.com> | Fri Aug 17 04:10:55 2007 +0000 |
| committer | Neal Norwitz <nnorwitz@gmail.com> | Fri Aug 17 04:10:55 2007 +0000 |
| tree | e13ef7e347fb9e7bb94a7c8d86e433b20acb9a33 | |
| parent | dc32146a39d689b593cf413b67868810a2deffe5 [diff] [blame] |
Update the tools before building the docs
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 @@ 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