diff options
Diffstat (limited to 'etc/texi2pod.pl')
| -rw-r--r-- | etc/texi2pod.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/texi2pod.pl b/etc/texi2pod.pl index 11f70d156be..dcf2b437640 100644 --- a/etc/texi2pod.pl +++ b/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 { |