diff options
| author | Sergei Trofimovich <siarheit@google.com> | 2021-07-27 00:51:18 +0300 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2021-11-11 04:14:00 +0300 |
| commit | 784020ca76dd82329580c48cdbca1fc61ceff5a4 (patch) | |
| tree | 253a62b8e16549e990ea9915407c3817dab8afa7 /etc | |
| parent | c0d69d69670f869f3682cc5096469fdc60934e3b (diff) | |
texi2pod.pl: add no-op --no-split option support [PR28144]
Change 2faf902da ("generate single html manual page by default")
added use of --no-split option to makeinfo. binutils reuses
makeinfo options for texi2pod.pl wrapper. Unsupported option
led to silent manpage truncation.
The change adds no-op option support.
etc/
* texi2pod.pl: Handle no-op --no-split option.
Diffstat (limited to 'etc')
| -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 11f70d156..dcf2b4376 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 { |