--- /tmp/gnu-arm-build.2.sh	2011-09-07 13:32:31.000000000 +0200
+++ gnu-arm-build.2.sh	2015-01-28 19:50:06.527599084 +0100
@@ -60,6 +60,8 @@
 unpack_source $(basename $BINUTILS_SRC)
 unpack_source $(basename $NEWLIB_SRC)
 #unpack_source $(basename $INSIGHT_SRC)
+# Patch for texinfo5. Adapted from Marcello Pogliani
+patch -p1 < ../gcc-texinfo5.patch
 )
 
 # Set the PATH to include the binaries we're going to build.