From fbb01eabae86f809ec0aaeb4e38ad4ece97d37fe Mon Sep 17 00:00:00 2001
From: Greg Spencer <gspencergoog@users.noreply.github.com>
Date: Fri, 19 Oct 2018 10:40:30 -0700
Subject: [PATCH] Update dartdoc to use 0.24.1 (#23275)

---
 dev/bots/docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh
index 80481a8dc0e..7d09253a76a 100755
--- a/dev/bots/docs.sh
+++ b/dev/bots/docs.sh
@@ -63,7 +63,7 @@ if [[ -d "$FLUTTER_PUB_CACHE" ]]; then
 fi
 
 # Install and activate dartdoc.
-"$PUB" global activate dartdoc 0.24.0
+"$PUB" global activate dartdoc 0.24.1
 
 # This script generates a unified doc set, and creates
 # a custom index.html, placing everything into dev/docs/doc.