diff options
author | Sergei Trofimovich <siarheit@google.com> | 2021-07-26 22:51:18 +0100 |
---|---|---|
committer | Sergei Trofimovich <siarheit@google.com> | 2021-07-28 11:39:40 +0100 |
commit | 96a7037cd8573cf065aa6b12baca68696f96d9ca (patch) | |
tree | 4d0dbafd0e6e76418734d1fa33708981c369f29e /etc | |
parent | 77791f9c21ec05423db6724a3be543f2cb6e5822 (diff) | |
download | gdb-96a7037cd8573cf065aa6b12baca68696f96d9ca.zip gdb-96a7037cd8573cf065aa6b12baca68696f96d9ca.tar.gz gdb-96a7037cd8573cf065aa6b12baca68696f96d9ca.tar.bz2 |
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 11f70d1..dcf2b43 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 { |