Update and rename doc.md to doc.html