(BIN) texinfo.dvi.gz