| // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /** |
| * This program reads the HTML libraries from [LIB_PATH] and outputs their |
| * documentation to [JSON_PATH]. |
| */ |
| |
| import 'dart:io'; |
| import 'dart:async'; |
| |
| import 'package:path/path.dart' as path; |
| |
| import '../lib/docs.dart'; |
| |
| final String json_path = |
| path.normalize(path.join(scriptDir, '..', 'docs.json')); |
| final String lib_path = |
| path.toUri(path.normalize( |
| path.join(scriptDir, '..', '..', '..', '..', 'sdk'))).toString(); |
| |
| main() { |
| print('Converting HTML docs from $lib_path to $json_path.'); |
| |
| convert(lib_path, json_path) |
| .then((bool anyErrors) { |
| print('Converted HTML docs ${anyErrors ? "with": "without"}' |
| ' errors.'); |
| }); |
| } |
| |
| /** |
| * Gets the full path to the directory containing the entrypoint of the current |
| * script. |
| */ |
| String get scriptDir => path.dirname(new Options().script); |