Updated html man page (using man2html target).