Update texinfo.tex to version 2012-01-19.16.
authorJoseph Myers <joseph@codesourcery.com>
Fri, 24 Feb 2012 21:42:53 +0000 (21:42 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Fri, 24 Feb 2012 21:46:36 +0000 (21:46 +0000)
commit0f8bbd69cd95c8350571763d15554b9bc3c62226
tree8b938b4bc003ce42121035cdd6556ced3b37a35f
parent66ab80bca6c1d616fe937ff64ea80d1ba08ec559
Update texinfo.tex to version 2012-01-19.16.
ChangeLog
manual/texinfo.tex