gettext

0cb77b26 - Move doc/texinfo.tex to config/texinfo.tex.