From e7d87af4d2319143b96b4552392b625ccf6da529 Mon Sep 17 00:00:00 2001 From: Janice Collins Date: Tue, 28 Aug 2018 14:58:52 -0700 Subject: [PATCH] Update dartdoc to 0.20.4. (#21131) --- 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 04f76d2e65..ee4acb5e0b 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.20.3 +"$PUB" global activate dartdoc 0.20.4 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc.