It looks like man2html on Linux does not (or does not any longer)
support the "-t" flag. Moreover, man2html seems happy to read the man
page directly. In this commit we simplify the html documentation rule
to simply call man2html on the man page itself, with no flags.