Renerated the HTML documentation