dist_man_MANS = mboxgrep.1 info_TEXINFOS = mboxgrep.texi