update from texinfo upstream
authorKarl Berry <karl@freefriends.org>
Thu, 30 Jan 2014 23:46:38 +0000 (15:46 -0800)
committerKarl Berry <karl@freefriends.org>
Thu, 30 Jan 2014 23:46:38 +0000 (15:46 -0800)
commitd9361da0718cea3ec6cbfd2b8c8368fde74ce06f
treebb7f9102ab0de6d809603fad0ff3601d1ae51dc2
parent497f4cdf8d4ef8c73059e68030c824949ae32649
update from texinfo
build-aux/texinfo.tex