update from texinfo
authorKarl Berry <karl@freefriends.org>
Wed, 16 May 2012 23:38:41 +0000 (16:38 -0700)
committerKarl Berry <karl@freefriends.org>
Wed, 16 May 2012 23:38:41 +0000 (16:38 -0700)
commit46ddbbf137fc5cda13a482d3a9c36e05d2644d3f
tree1cd7ae245051bbcbb49d39f9d0ac35c94b061a45
parentb1fac377605c0eef8844fc8d3818d360f37d6fa4
update from texinfo
build-aux/texinfo.tex