From 0ed3242a63f73543f93080fcd0371b1efbf4e438 Mon Sep 17 00:00:00 2001 From: Keerti Parthasarathy Date: Tue, 3 Sep 2019 09:26:14 -0600 Subject: [PATCH] Update dartdoc to 0.28.5 (#39581) --- 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 9aa2b577978..44e712548a1 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -104,7 +104,7 @@ if [[ -d "$FLUTTER_PUB_CACHE" ]]; then fi # Install and activate dartdoc. -"$PUB" global activate dartdoc 0.28.4 +"$PUB" global activate dartdoc 0.28.5 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc.