diff options
| -rw-r--r-- | patches/01_remove-manual.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/patches/01_remove-manual.patch b/patches/01_remove-manual.patch index 01f7241..077126c 100644 --- a/patches/01_remove-manual.patch +++ b/patches/01_remove-manual.patch @@ -1,9 +1,9 @@ Author: Patrick McDermott <patrick.mcdermott@libiquity.com> Subject: Don't require gdb/doc/gdb.texinfo -diff -Naurp tmp/src.orig/gdb/doc/Makefile.in tmp/src/gdb/doc/Makefile.in ---- tmp/src.orig/gdb/doc/Makefile.in 2019-05-11 14:19:02.000000000 -0400 -+++ tmp/src/gdb/doc/Makefile.in 2019-07-03 14:45:31.724731717 -0400 +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 |