| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * This program reads the HTML libraries from [LIB_PATH] and outputs their | 6 * This program reads the HTML libraries from [LIB_PATH] and outputs their |
| 7 * documentation to [JSON_PATH]. | 7 * documentation to [JSON_PATH]. |
| 8 */ | 8 */ |
| 9 | 9 |
| 10 import 'dart:io'; | 10 import 'dart:io'; |
| (...skipping 16 matching lines...) Expand all Loading... |
| 27 .then((bool anyErrors) { | 27 .then((bool anyErrors) { |
| 28 print('Converted HTML docs ${anyErrors ? "with": "without"}' | 28 print('Converted HTML docs ${anyErrors ? "with": "without"}' |
| 29 ' errors.'); | 29 ' errors.'); |
| 30 }); | 30 }); |
| 31 } | 31 } |
| 32 | 32 |
| 33 /** | 33 /** |
| 34 * Gets the full path to the directory containing the entrypoint of the current | 34 * Gets the full path to the directory containing the entrypoint of the current |
| 35 * script. | 35 * script. |
| 36 */ | 36 */ |
| 37 String get scriptDir => path.dirname(new Options().script); | 37 String get scriptDir => path.dirname(Platform.script); |
| OLD | NEW |