update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 30 Jul 2007 15:51:07 +0000 (15:51 +0000)
committerKarl Berry <karl@freefriends.org>
Mon, 30 Jul 2007 15:51:07 +0000 (15:51 +0000)
commitdd3b451c536c14d3f31922e3dc394da4a724275f
tree44217001531e426cc2546aa95cfcfeebd0c9c7a7
parent09c479ebb512014ad2ffdd1a71efe37276475663
update from texinfo
build-aux/texinfo.tex