diff options
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/01_remove-manual.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/patches/01_remove-manual.patch b/patches/01_remove-manual.patch deleted file mode 100644 index 077126c..0000000 --- a/patches/01_remove-manual.patch +++ /dev/null @@ -1,15 +0,0 @@ -Author: Patrick McDermott <patrick.mcdermott@libiquity.com> -Subject: Don't require gdb/doc/gdb.texinfo - -diff -Naurp src.orig/gdb/doc/Makefile.in src/gdb/doc/Makefile.in ---- src.orig/gdb/doc/Makefile.in 2019-05-11 14:19:02.000000000 -0400 -+++ src/gdb/doc/Makefile.in 2019-07-03 14:45:31.724731717 -0400 -@@ -84,7 +84,7 @@ SET_TEXINPUTS = \ - TEXINPUTS=${TEXIDIR}:.:$(srcdir):$(READLINE_DIR):$(GDBMI_DIR):$$TEXINPUTS - - # Files which should be generated via 'info' and installed by 'install-info' --INFO_DEPS = gdb.info stabs.info annotate.info -+INFO_DEPS = stabs.info annotate.info - - # Files which should be generated via 'pdf' and installed by 'install-pdf' - PDFFILES = gdb.pdf stabs.pdf refcard.pdf annotate.pdf |