update HTML man pages