update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 19 Oct 2011 21:10:30 +0000 (14:10 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 19 Oct 2011 21:10:30 +0000 (14:10 -0700)
commit78ad5003f1965577d730e42adfd05706cfeec81d
treee379d400cfe5d747b16dfa4d37f1b78d2fb43ec3
parentca3be51f7beb529726b066d1da34acd338828b24
update from texinfo
build-aux/texinfo.tex