gettext

5988dec0 - build-aux: Update texinfo.tex to 2014-12-03.16

build-aux: Update texinfo.tex to 2014-12-03.16 * build-aux/texinfo.tex: Update to 2014-12-03.16. Needed because the original texinfo does not allow @heading usage inside @enumeration and texi2dvi fails due to this.