| Index: tools/dom/docs/bin/docs.dart
|
| diff --git a/tools/dom/docs/bin/docs.dart b/tools/dom/docs/bin/docs.dart
|
| index 7307ab1045a31d8e7fc5979a5adae53745af4bb1..147401f83983336ea19c2222a6b170412d7ea5b5 100644
|
| --- a/tools/dom/docs/bin/docs.dart
|
| +++ b/tools/dom/docs/bin/docs.dart
|
| @@ -20,9 +20,8 @@ final String lib_uri = Platform.script.resolve('../../../../sdk').toString();
|
| main() {
|
| print('Converting HTML docs from $lib_uri to $json_path.');
|
|
|
| - convert(lib_uri, json_path)
|
| - .then((bool anyErrors) {
|
| - print('Converted HTML docs ${anyErrors ? "with": "without"}'
|
| + convert(lib_uri, json_path).then((bool anyErrors) {
|
| + print('Converted HTML docs ${anyErrors ? "with": "without"}'
|
| ' errors.');
|
| - });
|
| + });
|
| }
|
|
|