diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 15:19:27 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 15:19:27 +0000 |
| commit | e0023883c6d2e6745a19e4b48e186ed156c1fca8 (patch) | |
| tree | 1a48b8056ec984385d0d862b683535d04d6ed215 /manual/print-options | |
| parent | Initial commit. (diff) | |
| download | man-db-e0023883c6d2e6745a19e4b48e186ed156c1fca8.tar.xz man-db-e0023883c6d2e6745a19e4b48e186ed156c1fca8.zip | |
Adding upstream version 2.11.2.upstream/2.11.2upstream
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..37b4d6f --- /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; + } + }' |