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, 12 insertions, 0 deletions
diff --git a/source/d/binutils/patches/binutils-missing-man-pages.patch b/source/d/binutils/patches/binutils-missing-man-pages.patch new file mode 100644 index 000000000..eff15480e --- /dev/null +++ b/source/d/binutils/patches/binutils-missing-man-pages.patch @@ -0,0 +1,12 @@ +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 { |