2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-07-16 20:52:28 +00:00
repo/core/binutils/patches/fix-empty-man.patch

13 lines
295 B
Diff
Raw Normal View History

2021-08-21 18:03:37 +00:00
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 {