[Bug bootstrap/56258] Please upgrade doc/*.texi to the latest texinfo package(s)

[g...@denis-excoffier.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56258



--- Comment #16 from Denis Excoffier <g...@denis-excoffier.org> 2013-03-24 
07:06:40 UTC ---

Bootstrap of gcc-4.7-20130323 works perfectly. Thanks.