Author: "P. J. McDermott" <pjm@nac.net>
Subject: Don't require gdb/doc/gdb.texinfo.

diff -Naur src.orig/gdb/doc/Makefile.in src/gdb/doc/Makefile.in
--- src.orig/gdb/doc/Makefile.in	2013-01-01 01:32:56.000000000 -0500
+++ src/gdb/doc/Makefile.in	2013-10-11 13:28:45.075942776 -0400
@@ -74,7 +74,7 @@
    TEXINPUTS=${TEXIDIR}:.:$(srcdir):$(READLINE_DIR):$(GDBMI_DIR):$$TEXINPUTS
 
 # Files which should be generated via 'info' and installed by 'install-info'
-INFO_DEPS = gdb.info gdbint.info stabs.info annotate.info
+INFO_DEPS = gdbint.info stabs.info annotate.info
 
 # Files which should be generated via 'pdf' and installed by 'install-pdf'
 PDFFILES = gdb.pdf gdbint.pdf stabs.pdf refcard.pdf annotate.pdf