update from texinfo
authorKarl Berry <karl@freefriends.org>
Fri, 6 Jul 2012 23:11:10 +0000 (16:11 -0700)
committerKarl Berry <karl@freefriends.org>
Fri, 6 Jul 2012 23:11:10 +0000 (16:11 -0700)
commite630af09e1b36f59d59d198387523d14162b0758
tree606e564e0bf40460d39e20078887d2a7862f87ad
parent98a2286631bbe85f79c97449cbe91cd5f9bc8e66
update from texinfo
build-aux/texinfo.tex