]> granicus.if.org Git - python/commitdiff
Update the tools before building the docs
authorNeal Norwitz <nnorwitz@gmail.com>
Fri, 17 Aug 2007 04:10:55 +0000 (04:10 +0000)
committerNeal Norwitz <nnorwitz@gmail.com>
Fri, 17 Aug 2007 04:10:55 +0000 (04:10 +0000)
Misc/build.sh

index aad7fe173b69fd9bed6b07bdb829485004ebed24..de997f5bd880739937b1bf649c516673e1cd82d0 100755 (executable)
@@ -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