update the html documentation