* Correct installation of HTML man pages