update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 12 Sep 2012 23:37:37 +0000 (16:37 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 12 Sep 2012 23:37:37 +0000 (16:37 -0700)
commit70d61f6c220a86950889eeeb41e54630e7c31c7d
treee1e21bcf29e89d1677f8374257c791fb8ebd1046
parent6418d7c9619803324fe72e226aa96db3763ca23b
update from texinfo
build-aux/texinfo.tex