From 921117f4d328f7928f34c48eb69c8c5dda35d48e Mon Sep 17 00:00:00 2001
From: Janice Collins <jcollins@google.com>
Date: Mon, 19 Nov 2018 15:23:40 -0800
Subject: [PATCH] Update dartdoc to 0.25.0. (#24542)

---
 .gitignore       | 1 +
 dev/bots/docs.sh | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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.