* doc/include/texinfo.tex: Update to version 2012-05-16.16.
authorJoseph Myers <joseph@codesourcery.com>
Tue, 29 May 2012 13:39:54 +0000 (14:39 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Tue, 29 May 2012 13:39:54 +0000 (14:39 +0100)
commitaba6f2c2a9100592c94fa863990d80b5d3252cb2
tree27b686c37eefb4ad61e2307ce2aed5ba8fe13650
parenta502e67779b2a1291343b6cd2655bfacbae9207b
* doc/include/texinfo.tex: Update to version 2012-05-16.16.

From-SVN: r187956
gcc/ChangeLog
gcc/doc/include/texinfo.tex