info_TEXINFOS = hexedit.texinfo man_MANS = hexedit.1 EXTRA_DIST = hexedit.1 texinfo.tex