Texinfo 5.0 broke the GCC 4.7.2 build. As it only touches the documentation and not the actual code, here is a quick patch to allow building GCC without the doc. This may not be the cleanest way to do it, but really few people use this doc anyways.
We can only hope it will be fixed in the next version of gcc.
Now it compiles GCC with texinfo 5.