summaryrefslogtreecommitdiffstats
path: root/manual/print-options
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xmanual/print-options14
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;
+ }
+ }'