From 5c6a7e90a59f402cdc31bba5e49a61a801ba48e3 Mon Sep 17 00:00:00 2001
From: Volker Grabsch <v@njh.eu>
Date: Sun, 3 May 2015 21:03:38 +0200
Subject: [PATCH] Suppress gdb documentation building, to avoid dependency from
 texinfo

Related mailing list report:
https://lists.nongnu.org/archive/html/mingw-cross-env-list/2015-04/msg00021.html
---
 src/gdb.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gdb.mk b/src/gdb.mk
index a8b15b6a..dbd4d5f9 100644
--- a/src/gdb.mk
+++ b/src/gdb.mk
@@ -23,6 +23,6 @@ define $(PKG)_BUILD
         --with-system-readline \
         CONFIG_SHELL=$(SHELL)
     $(MAKE) -C '$(1)' -j '$(JOBS)'
-    $(MAKE) -C '$(1)' -j 1 install
+    $(MAKE) -C '$(1)' -j 1 install MAKEINFO=true
 endef