First half of the new HTML json docs.

tools/dom/docs/bin/docs.dart

Index: tools/dom/docs/bin/docs.dart
diff --git a/tools/dom/docs/bin/docs.dart b/tools/dom/docs/bin/docs.dart
new file mode 100644
index 0000000000000000000000000000000000000000..839abe6d48a880d4edccd3b2a6991b91a8d2d966
--- /dev/null
+++ b/tools/dom/docs/bin/docs.dart
@@ -0,0 +1,28 @@
+// 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.
+
+/**
+ * TODO(amouravski): Document stuff here.
+ */
+
+import 'dart:io';
+import 'dart:async';
+
+import '../lib/docs.dart';
+
+main() {
+  var jsonPath = scriptDir.append('../docs.json');
+  var libPath = scriptDir.append('../../../../sdk/').canonicalize();
+
+  var anyErrors = convert(libPath, jsonPath);
+
+  print('Converted HTML docs ${anyErrors ? "with $anyErrors" : "without"} errors.');

[blois, 2013/01/24 02:28:24]

line length

[Andrei Mouravski, 2013/01/24 19:28:51]

Done.

+}
+
+/**
+ * Gets the full path to the directory containing the entrypoint of the current
+ * script.
+ */
+Path get scriptDir =>
+    new Path(new Options().script).directoryPath;