Rename doc.md to doc.html