From 7fb798f5f119844083205a4450d3350b5315a3fe Mon Sep 17 00:00:00 2001 From: jcollins-g Date: Thu, 25 May 2017 09:42:55 -0700 Subject: [PATCH] Upgrade dartdoc to 0.12.0 (#10296) * update the docs css style so the generated dartdoc matches the new flutter.io * Change to 0.12.0 dartdoc * Review comment --- dev/bots/docs.sh | 2 +- dev/docs/styles.html | 63 +++++++++++++++++++++--------------------- dev/tools/dartdoc.dart | 6 ++-- 3 files changed, 35 insertions(+), 36 deletions(-) diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index 98dda74495d..508a092d31a 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -8,7 +8,7 @@ set -e bin/flutter --version # Install dartdoc. -bin/cache/dart-sdk/bin/pub global activate dartdoc 0.11.1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.12.0 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc. diff --git a/dev/docs/styles.html b/dev/docs/styles.html index a111a6eed7e..d423efc3ff4 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -1,11 +1,12 @@