[Bug bootstrap/58304] gcc dev branch compilation Failed at libstdc++-v3 (used gcc 4.7.3 to compile)

[paolo.carlini at oracle dot com]

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

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
FYI, I don't think installing texinfo may have done the trick. More likely, you
had a tree with temporary glitches, can happen, when many changes are
committed.