update from texinfo
authorKarl Berry <karl@freefriends.org>
Mon, 13 Aug 2012 22:48:24 +0000 (15:48 -0700)
committerKarl Berry <karl@freefriends.org>
Mon, 13 Aug 2012 22:48:24 +0000 (15:48 -0700)
commit4397da9bc051232a807617b150004a8f648769e2
tree3ce200a4f569de4f0c573da717585c50277c2c8c
parentcc9d1f2941d6a7fb3e18d7124ef5173345fc849e
update from texinfo
build-aux/texinfo.tex