update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 29 Feb 2012 15:12:44 +0000 (07:12 -0800)
committerKarl Berry <karl@freefriends.org>
Wed, 29 Feb 2012 15:12:44 +0000 (07:12 -0800)
commit35c72a2a1d0f9471e1a14ef1d43d2f11d001c402
tree90aec09ccb5c6c288723212e2c3e6b7ef6752364
parent755ac44841c188349221f02e715f1e3ed2cd8535
update from texinfo
build-aux/texinfo.tex