2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-12-22 15:20:06 -07:00
repo/core/binutils/patches/fix-empty-man.patch
2021-08-21 21:03:37 +03:00

13 lines
295 B
Diff

diff --git a/etc/texi2pod.pl b/etc/texi2pod.pl
index 11f70d1..8e50c08 100644
--- a/etc/texi2pod.pl
+++ b/etc/texi2pod.pl
@@ -59,6 +59,7 @@ while ($_ = shift) {
$flag = shift;
}
push (@ipath, $flag);
+ } elsif (/^--no-split$/) {
} elsif (/^-/) {
usage();
} else {