diff options
| author | P. 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) |
| commit | 867bcfde08acb6a0df45a6b2629d715b97b1ced7 (patch) | |
| tree | 09e35296e9015918e51a4b6528c22d5a7bcdee3d /patches | |
| parent | 8913135d68a11ae8b98c9d9f39898fd94f9b57d2 (diff) | |
Add patch to not require gdb/doc/gdb.texinfo.
Diffstat (limited to 'patches')
| -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 |