Build without man pages if xmlto is not available.