Index: tools/dom/docs/bin/docs.dart |
=================================================================== |
--- tools/dom/docs/bin/docs.dart (revision 32349) |
+++ tools/dom/docs/bin/docs.dart (working copy) |
@@ -1,28 +0,0 @@ |
-// 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 = Platform.script.resolve('../docs.json').toFilePath(); |
-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"}' |
- ' errors.'); |
- }); |
-} |