update HTML documentation