diff options
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; + } + }' |