summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-10-11 13:33:40 (EDT)
committer P. J. McDermott <pjm@nac.net>2013-10-11 13:33:40 (EDT)
commit867bcfde08acb6a0df45a6b2629d715b97b1ced7 (patch)
tree09e35296e9015918e51a4b6528c22d5a7bcdee3d
parent8913135d68a11ae8b98c9d9f39898fd94f9b57d2 (diff)
Add patch to not require gdb/doc/gdb.texinfo.
-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