Fix htmldoc after r523104
htmldoc was using the MANDIRS variable which was never made to be:
1/ unique
2/ used directly inside ports
Now that the ${PREFIX}/share/man (which is the default target of the htmldoc
build system for manpages) is valid, there is no need anyway to workaround it