update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 1 Jan 2013 18:15:10 +0000 (10:15 -0800)
committerKarl Berry <karl@freefriends.org>
Tue, 1 Jan 2013 18:15:10 +0000 (10:15 -0800)
commit0f1352048cab0ed8fc23e03509d5e505be6e9245
treebff9c19b9126f17bc8df03dea57218502a2a9f85
parentfc97987a889f121b26f7bd71d84ef589c715adbe
update from texinfo
build-aux/texinfo.tex