Rename doc to doc.html