update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 7 Jan 2014 14:40:29 +0000 (06:40 -0800)
committerKarl Berry <karl@freefriends.org>
Tue, 7 Jan 2014 14:40:29 +0000 (06:40 -0800)
commit8d93bfe929bb3762e84c6b8f18913fcf52f09c19
tree60cefc2f41960b9164c5e0b976527047ffbb979e
parentd18d1b8023822220bb8f0a079c7312a1adffdce0
update from texinfo
build-aux/texinfo.tex