Backport r68338: Make sure to checkout any new packages

diff --git a/Misc/build.sh b/Misc/build.sh
index 423e96de080701d0f243ced0f3290d4525a15829..43b3ce441512281c77fa97266d937daf11543cae 100755 (executable)
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -263,7 +263,7 @@ if [ $conflict_count != 0 ]; then
     echo "Conflict detected in $CONFLICTED_FILE.  Doc build skipped." > ../build/$F
     err=1
 else
-    make update html >& ../build/$F
+    make checkout update html >& ../build/$F
     err=$?
 fi
 update_status "Making doc" "$F" $start