esden/summon-arm-toolchain — pull request #52 by antoinealb (2013-02-26 08:30:02+00:00)
Title: Fix build with Texinfo 5.0

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.