add --mandir and --infodir to configure