diff options
Diffstat (limited to 'source/d/binutils/patches/binutils-missing-man-pages.patch')
| -rw-r--r-- | source/d/binutils/patches/binutils-missing-man-pages.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/source/d/binutils/patches/binutils-missing-man-pages.patch b/source/d/binutils/patches/binutils-missing-man-pages.patch deleted file mode 100644 index eff15480e..000000000 --- a/source/d/binutils/patches/binutils-missing-man-pages.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -rup binutils.orig/etc/texi2pod.pl binutils-2.37/etc/texi2pod.pl ---- binutils.orig/etc/texi2pod.pl 2021-08-10 10:15:38.063964450 +0100 -+++ binutils-2.37/etc/texi2pod.pl 2021-08-10 16:52:51.705688992 +0100 -@@ -59,6 +59,8 @@ while ($_ = shift) { - $flag = shift; - } - push (@ipath, $flag); -+ } elsif (/^--no-split$/) { -+ # ignore option for makeinfo compatibility - } elsif (/^-/) { - usage(); - } else { |