Fix Carambola2 compilation on Debian, as described here: http://8devices.com/community/viewtopic.php?f=13&t=562

0001-Fixes-bug-in-texinfo-for-Debian-builds.patch

Please apply following patch to Carambola2 mainline to fix the issue:

From 1defc360fbe0ae43eefee020b8f7d2f7875c68e8 Mon Sep 17 00:00:00 2001
From: Drasko DRASKOVIC <drasko.draskovic@gmail.com>
Date: Wed, 15 Jan 2014 21:54:29 +0100
Subject: [PATCH] Fixes bug in texinfo for Debian builds

---
 .../gcc/patches/4.7-linaro/010-documentation.patch | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 toolchain/gcc/patches/4.7-linaro/010-documentation.patch

diff --git a/toolchain/gcc/patches/4.7-linaro/010-documentation.patch b/toolchain/gcc/patches/4.7-linaro/010-documentation.patch
new file mode 100644
index 0000000..25773a3
--- /dev/null
+++ b/toolchain/gcc/patches/4.7-linaro/010-documentation.patch
@@ -0,0 +1,23 @@
+--- a/gcc/Makefile.in
++++ b/gcc/Makefile.in
+@@ -4251,18 +4251,10 @@
+ doc/gccint.info: $(TEXI_GCCINT_FILES)
+ doc/cppinternals.info: $(TEXI_CPPINT_FILES)
+ 
+-doc/%.info: %.texi
+-	if [ x$(BUILD_INFO) = xinfo ]; then \
+-		$(MAKEINFO) $(MAKEINFOFLAGS) -I . -I $(gcc_docdir) \
+-			-I $(gcc_docdir)/include -o $@ $<; \
+-	fi
++doc/%.info:
+ 
+ # Duplicate entry to handle renaming of gccinstall.info
+-doc/gccinstall.info: $(TEXI_GCCINSTALL_FILES)
+-	if [ x$(BUILD_INFO) = xinfo ]; then \
+-		$(MAKEINFO) $(MAKEINFOFLAGS) -I $(gcc_docdir) \
+-			-I $(gcc_docdir)/include -o $@ $<; \
+-	fi
++doc/gccinstall.info:
+ 
+ doc/cpp.dvi: $(TEXI_CPP_FILES)
+ doc/gcc.dvi: $(TEXI_GCC_FILES)
-- 
1.8.5.2