update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 20 Aug 2013 18:06:51 +0000 (11:06 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 20 Aug 2013 18:06:51 +0000 (11:06 -0700)
commit7c121ba6ebe82ea54dda3ce787f491a85ec1d1d9
treef1e65947b0f655098d7fddc48277d3facaa7680f
parent6f2d632522fd8a6277c75f5b8dfce96ed794236e
update from texinfo
build-aux/texinfo.tex