From 84a9ff731801199c7c99524c2f23bcad4cb5ec61 Mon Sep 17 00:00:00 2001
From: Devon Carew <devoncarew@google.com>
Date: Wed, 19 Apr 2017 10:00:18 -0700
Subject: [PATCH] list which version of dartdoc we're using (#9466)

---
 dev/tools/dartdoc.dart | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart
index f6836acb47..ee038a5ef0 100644
--- a/dev/tools/dartdoc.dart
+++ b/dev/tools/dartdoc.dart
@@ -64,6 +64,11 @@ dependencies:
 
   createFooter('dev/docs/lib/footer.html');
 
+  // Verify which version of dartdoc we're using.
+  final ProcessResult result = Process.runSync('pub',
+    <String>['global', 'run', 'dartdoc', '--version']);
+  print('\n${result.stdout}');
+
   // Generate the documentation.
   final List<String> args = <String>[
     'global', 'run', 'dartdoc',