From 609b996846475f92ec6a92ceb8d72a1f2b29aef4 Mon Sep 17 00:00:00 2001 From: jcollins-g Date: Mon, 4 Jun 2018 09:03:08 -0700 Subject: [PATCH] Update dartdoc to 0.20.0 (#18123) --- 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 6dcff4cdda..f9577735f7 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -22,7 +22,7 @@ if [ -d "$FLUTTER_PUB_CACHE" ]; then fi # Install dartdoc. -bin/cache/dart-sdk/bin/pub global activate dartdoc 0.19.1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.20.0 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc.