update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 9 Aug 2013 16:27:34 +0000 (09:27 -0700)
committerKarl Berry <karl@freefriends.org>
Fri, 9 Aug 2013 16:27:34 +0000 (09:27 -0700)
commitc1118d1ccfa785a0f3bbfc7316bde06c938ade8b
tree23410d9ba58fff8b415f4654381c610ce3a9b661
parentccf7bfa310feffc94936b9e5d14b34d9e0f87b89
update from texinfo
build-aux/texinfo.tex