summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorSergei Trofimovich <siarheit@google.com>2021-07-26 22:51:18 +0100
committerSergei Trofimovich <siarheit@google.com>2021-07-28 11:39:40 +0100
commit96a7037cd8573cf065aa6b12baca68696f96d9ca (patch)
tree4d0dbafd0e6e76418734d1fa33708981c369f29e /etc
parent77791f9c21ec05423db6724a3be543f2cb6e5822 (diff)
downloadbinutils-gdb-96a7037cd8573cf065aa6b12baca68696f96d9ca.tar.gz
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.pl2
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 {