diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 01:16:24 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 01:16:24 +0000 |
| commit | 9221dca64f0c8b5de72727491e41cf63e902eaab (patch) | |
| tree | d8cbbf520eb4b5c656a54b2e36947008dcb751ad /manual/print-options | |
| parent | Initial commit. (diff) | |
| download | man-db-9221dca64f0c8b5de72727491e41cf63e902eaab.tar.xz man-db-9221dca64f0c8b5de72727491e41cf63e902eaab.zip | |
Adding upstream version 2.8.5.upstream/2.8.5upstream
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; + } + }' |