From bc10fce46e22bb749cee420a31aae95e9601462d Mon Sep 17 00:00:00 2001 From: jcollins-g Date: Wed, 17 Jan 2018 08:09:31 -0800 Subject: [PATCH] Update dartdoc version to 0.15.1. (#14123) --- 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 b6876ee9d27..fd1f5998e81 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -19,7 +19,7 @@ if [ -d "$FLUTTER_PUB_CACHE" ]; then fi # Install dartdoc. -bin/cache/dart-sdk/bin/pub global activate dartdoc 0.15.0+1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.15.1 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc.