add doc.html