And the configure does not know --mandir, so use CONFIGURE_HAS_MANDIR=NO. Noticed in kristerw's bulk build.