update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 1 Feb 2013 23:49:12 +0000 (15:49 -0800)
committerKarl Berry <karl@freefriends.org>
Fri, 1 Feb 2013 23:49:12 +0000 (15:49 -0800)
commitd2ea75707993cf1172a5b99213e7b2051586cb4a
treeb90c5ebca70618434d1a4332756c5394e76b309f
parent819b1c38b9abd94d7d1ca2a77bbe16053b75029c
update from texinfo
build-aux/texinfo.tex