Better support for new man2html

The latest version of man2html used to make web pages from man pages
produces slightly different output. This patch from Rod Schultz (Bull)
will work with the latest version of man2html plus older versions.