Remove the old hand-written HTML doc format, which has not worked for months.

tools/dom/doc/html.dartdoc

Index: tools/dom/doc/html.dartdoc
diff --git a/tools/dom/doc/html.dartdoc b/tools/dom/doc/html.dartdoc
deleted file mode 100644
index 069ed467286f8f0af6242fed6447cb8e3dc98c3f..0000000000000000000000000000000000000000
--- a/tools/dom/doc/html.dartdoc
+++ /dev/null
@@ -1,37 +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.
-
-// Fake dart:html library for documentation.
-
-/// The Dart HTML5 Library.
-library dart.html;
-
-part 'interface/AbstractWorker.dartdoc';
-part 'interface/Element.dartdoc';
-part 'interface/Event.dartdoc';
-part 'interface/EventTarget.dartdoc';
-part 'interface/HttpRequest.dartdoc';
-part 'interface/MouseEvent.dartdoc';
-part 'interface/Storage.dartdoc';
-part 'interface/Node.dartdoc';
-part 'interface/UIEvent.dartdoc';
-part 'interface/WebSocket.dartdoc';
-
-// Implementation files that appear to be necessary to load the sources.
-
-//part 'nodoc-src/SomeFile.dart';
-
-// Global definitions.
-
-/**
- * The top-level Window object.
- */
-Window get window() => null;
-
-/**
- * The top-level Document object.
- */
-Document get document() => null;
-
-typedef void EventListener(Event event);