update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 5 Sep 2012 15:45:32 +0000 (08:45 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 5 Sep 2012 15:45:32 +0000 (08:45 -0700)
commit0815daf810f59e2da6778367a2000bdd25af71b4
tree5cc5f76dc82e71743e455fd0b3dcab781c27a4e6
parent3a9002d3cc63da7110f133b1040d2d2b0aad8305
update from texinfo
build-aux/texinfo.tex