summaryrefslogtreecommitdiffstats
path: root/patches
diff options
context:
space:
mode:
Diffstat (limited to 'patches')
-rw-r--r--patches/01_remove-manual.patch15
1 files changed, 15 insertions, 0 deletions
diff --git a/patches/01_remove-manual.patch b/patches/01_remove-manual.patch
new file mode 100644
index 0000000..41a484f
--- /dev/null
+++ b/patches/01_remove-manual.patch
@@ -0,0 +1,15 @@
+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