update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 30 Jul 2012 00:15:18 +0000 (17:15 -0700)
committerKarl Berry <karl@freefriends.org>
Mon, 30 Jul 2012 00:15:18 +0000 (17:15 -0700)
commitd8b99413fc7d2e127030ffe32e941cb2b11c09fc
treef27ee8efcd4fbbedc31399cc4a9e87a2d7577237
parent3f2667cf86d23284b3378ae2c38fd93adba5714f
update from texinfo
build-aux/texinfo.tex