support for GNU configure syntax
use --mandir option