| 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.');
|
| - });
|
| -}
|
|
|