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', + ['global', 'run', 'dartdoc', '--version']); + print('\n${result.stdout}'); + // Generate the documentation. final List args = [ 'global', 'run', 'dartdoc',