diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 10:49:50 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 10:49:50 +0000 |
commit | 74b60c5712f2a84904b95d008953c140a9bd5dd2 (patch) | |
tree | dd12cc58c6d4cfb5e2c1183f47757295ce3b5662 /manual/print-options | |
parent | Initial commit. (diff) | |
download | man-db-upstream.tar.xz man-db-upstream.zip |
Adding upstream version 2.9.4.upstream/2.9.4upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'manual/print-options')
-rwxr-xr-x | manual/print-options | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/manual/print-options b/manual/print-options new file mode 100755 index 0000000..267fa2a --- /dev/null +++ b/manual/print-options @@ -0,0 +1,14 @@ +#! /bin/sh +LC_ALL=C LANGUAGE= nroff -c -me options-only.me | col -bpx | perl -ne ' + $match = /^MAN-OPTIONS-BEGIN/ ... /^MAN-OPTIONS-END/; + if ($match > 1 and $match !~ /E0/) { + # Trim leading and trailing blank lines. + if (/^$/) { + $diversion .= $_ if $start; + } else { + print $diversion; + $diversion = ""; + print; + $start = 1; + } + }' |