Log Message:
Use CONFIGURE_HAS_MANDIR=NO because configure is old
and does not know --mandir.
(This still needs a patch that I have to commit.)