Despite the fact that some people built okay without this change, it sure...
[WebKit-https.git] / WebKit / MigrateHeaders.make
index aaa7069d07776886c7721242d9be8c98f408ae5c..d0bffa6c05f2a5d5480542c8abe2c12c843bccd1 100644 (file)
@@ -149,7 +149,6 @@ all : \
     $(PUBLIC_HEADERS_DIR)/DOMHTMLUListElement.h \
     $(PUBLIC_HEADERS_DIR)/DOMKeyboardEvent.h \
     $(PRIVATE_HEADERS_DIR)/DOMKeyboardEventPrivate.h \
-    $(PUBLIC_HEADERS_DIR)/DOMList.h \
     $(PUBLIC_HEADERS_DIR)/DOMMediaList.h \
     $(PUBLIC_HEADERS_DIR)/DOMMouseEvent.h \
     $(PRIVATE_HEADERS_DIR)/DOMMouseEventPrivate.h \