From a201980223dc6a73d0d323fd75a58ba25e200034 Mon Sep 17 00:00:00 2001 From: jcollins-g <jcollins@google.com> Date: Mon, 30 Jul 2018 08:37:14 -0700 Subject: [PATCH] Upgrade dartdoc to 0.20.2. (#19781) --- 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 64871be63c..06d6c31029 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.20.1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.20.2 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc. -- 2.21.0