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 |