a0668d02216d36698016530290f0e394623896a3  texinfo.tex