K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2020-01-15T20:51:46.513796Z
K 7
svn:log
V 290
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

END