Updated doc.html using generated version.