diff options
| -rw-r--r-- | patches/01_remove-manual.patch | 15 |
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 |