Deleted doc.html