[HACK] Do not build docs for gmp, mpc, mpfrbaserock/5.1.0/gmp_mpfr_mpc+docs_fix

Without this, gcc build will fail (only in pass 3)
It tries to rebuild the manual even it should not (not modification
has been made to the source code)
This is the error message:
/gcc.build/missing: line 80: makeinfo: not found
WARNING: 'makeinfo' is missing on your system.
         You should only need it if you modified a '.texi' file, or
         any other file indirectly affecting the aspect of the manual.
         You might want to install the Texinfo package:
         <http://www.gnu.org/software/texinfo/>
         The spurious makeinfo call might also be the consequence of
         using a buggy 'make' (AIX, DU, IRIX), in which case you might
         want to install GNU make:
         <http://www.gnu.org/software/make/>

7 files changed, 7 insertions, 7 deletions

diff --git a/gcc/configure b/gcc/configure
index 9523773e72..e52bd6727f 100755
--- a/gcc/configure
+++ b/gcc/configure
@@ -7919,7 +7919,7 @@ $as_echo "$as_me: WARNING:
 *** Info documentation will not be built." >&2;}
   BUILD_INFO=
 else
-  BUILD_INFO=info
+  BUILD_INFO=
 fi
 
 
diff --git a/gmp/Makefile.am b/gmp/Makefile.am
index 8567c0e3f6..24f484599b 100644
--- a/gmp/Makefile.am
+++ b/gmp/Makefile.am
@@ -107,7 +107,7 @@ LIBGMPXX_LT_REVISION = 0
 LIBGMPXX_LT_AGE      = 4
 
 
-SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune doc
+SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune
 
 EXTRA_DIST = configfsf.guess configfsf.sub .gdbinit INSTALL.autoconf \
 	     COPYING.LESSERv3 COPYINGv2 COPYINGv3
diff --git a/gmp/Makefile.in b/gmp/Makefile.in
index 122305d624..1dfcec3c15 100644
--- a/gmp/Makefile.in
+++ b/gmp/Makefile.in
@@ -463,7 +463,7 @@ LIBGMP_LT_AGE = 2
 LIBGMPXX_LT_CURRENT = 8
 LIBGMPXX_LT_REVISION = 0
 LIBGMPXX_LT_AGE = 4
-SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune doc
+SUBDIRS = tests mpn mpz mpq mpf printf scanf rand cxx demos tune
 
 # The "test -f" support for srcdir!=builddir is similar to the automake .c.o
 # etc rules, but with each foo.c explicitly, since $< is not portable
diff --git a/mpc/Makefile.am b/mpc/Makefile.am
index 6e38c44590..8dbc1ede6a 100644
--- a/mpc/Makefile.am
+++ b/mpc/Makefile.am
@@ -22,7 +22,7 @@ ACLOCAL_AMFLAGS = -I m4
 # version number for distribution tarball
 VERSION = @VERSION@@GITVERSION@
 
-SUBDIRS = src tests doc
+SUBDIRS = src tests
 
 EXTRA_HEADERS = src/mpc-log.h
 include_HEADERS = src/mpc.h @MPC_LOG_H@
diff --git a/mpc/Makefile.in b/mpc/Makefile.in
index af078b9fde..8d32d13816 100644
--- a/mpc/Makefile.in
+++ b/mpc/Makefile.in
@@ -365,7 +365,7 @@ top_build_prefix = @top_build_prefix@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
 ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = src tests doc
+SUBDIRS = src tests
 EXTRA_HEADERS = src/mpc-log.h
 include_HEADERS = src/mpc.h @MPC_LOG_H@
 EXTRA_DIST = doc/fdl-1.3.texi src/mpc-log.h tests/tgeneric.c Makefile.vc
diff --git a/mpfr/Makefile.am b/mpfr/Makefile.am
index 54e5c71882..edbee8410d 100644
--- a/mpfr/Makefile.am
+++ b/mpfr/Makefile.am
@@ -12,7 +12,7 @@
 AUTOMAKE_OPTIONS = gnu
 ACLOCAL_AMFLAGS = -I m4
 
-SUBDIRS = doc src tests tune
+SUBDIRS = src tests tune
 
 nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \
   examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \
diff --git a/mpfr/Makefile.in b/mpfr/Makefile.in
index 508e029ac4..9c9f139f2f 100644
--- a/mpfr/Makefile.in
+++ b/mpfr/Makefile.in
@@ -295,7 +295,7 @@ top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
 AUTOMAKE_OPTIONS = gnu
 ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = doc src tests tune
+SUBDIRS = src tests tune
 nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \
   examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \
   examples/version.c