diff --git a/.gitignore b/.gitignore
index 0771d0eb5a..c130db31f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 /dev/bots/.recipe_deps
 /dev/bots/android_tools/
 /dev/docs/doc/
+/dev/docs/flutter.docs.zip
 /dev/docs/lib/
 /dev/docs/pubspec.yaml
 /packages/flutter/coverage/
diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh
index 961aa79440..dbc1f4ef9f 100755
--- a/dev/bots/docs.sh
+++ b/dev/bots/docs.sh
@@ -102,7 +102,7 @@ if [[ -d "$FLUTTER_PUB_CACHE" ]]; then
 fi
 
 # Install and activate dartdoc.
-"$PUB" global activate dartdoc 0.24.1
+"$PUB" global activate dartdoc 0.25.0
 
 # This script generates a unified doc set, and creates
 # a custom index.html, placing everything into dev/docs/doc.