From e634076cdf546e4bb8d0ae008413dbce51feea38 Mon Sep 17 00:00:00 2001
From: Simon Marchi <simon.marchi@polymtl.ca>
Date: Mon, 22 Jun 2015 15:33:43 -0400
Subject: [PATCH] Change way to skip building of gdb doc

Instead of modifying the source files of the documentation, it's cleaner
to replace the invocation to makeinfo to invoke "true". This will skip
building of all the docs.

Change-Id: I33a8ba7e1932433de48ab98d6cda3fda0bb09143
Signed-off-by: Simon Marchi <simon.marchi@polymtl.ca>
---
 .../scripts/download-build-gdb.sh                   | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh b/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
index 8cf09ae1bb7..864365e3bf4 100755
--- a/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
+++ b/dsf-gdb/org.eclipse.cdt.tests.dsf.gdb/scripts/download-build-gdb.sh
@@ -143,15 +143,6 @@ function fixup_gdb() {
 
   echo_header "Fixing up gdb ${version}"
 
-  # Disable building of the doc, which fails anyway with older gdbs and
-  # newer makeinfos.
-  ${dryrun} find ${build} -name '*.texinfo' -exec cp "/dev/null" "{}" \;
-
-  # This file tries to include a non-existent file.
-  if [ "$version" = "7.2" ]; then
-    ${dryrun} cp "/dev/null" "${build}/etc/standards.texi"
-  fi
-
   # glibc or the kernel changed the signal API at some point
   case "$version" in
     "6.6"|"6.7.1"|"6.8"|"7.0.1"|"7.1"|"7.2"|"7.3.1"|"7.4.1")
@@ -224,7 +215,9 @@ function make_install_gdb() {
 
   ${dryrun} pushd "${install}"
 
-  ${dryrun} make install
+  # Disable building of the doc, which fails anyway with older gdbs and
+  # newer makeinfos.
+  ${dryrun} make install MAKEINFO=true
 
   ${dryrun} popd
 }