devel/binutils/files/patch-etc_texi2pod.pl


1
2
3
4
5
6
7
8
9
10
11

--- etc/texi2pod.pl.orig	2021-08-30 17:17:09 UTC
+++ etc/texi2pod.pl
@@ -59,6 +59,8 @@ while ($_ = shift) {
 	    $flag = shift;
 	}
         push (@ipath, $flag);
+    } elsif (/^--no-split$/) {
+	# ignore option for makeinfo compatibility
     } elsif (/^-/) {
 	usage();
     } else {