From c9addba5cc770d2d231b34f6739f32c6be8690f1 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Mon, 15 Apr 2024 21:37:10 +0200
Subject: Adding upstream version 2.12.0.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 manual/print-options | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 manual/print-options

(limited to 'manual/print-options')

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;
+	}
+    }'
-- 
cgit v1.2.3