1 files changed, 26 insertions, 0 deletions
diff --git a/share/man/tools/prsynops b/share/man/tools/prsynops
new file mode 100755
index 0000000..a0cfffe
--- /dev/null
+++ b/share/man/tools/prsynops
@@ -0,0 +1,26 @@
+#! /bin/sh
+set x $*
+. ./.param
+
+for dir in $DIRLST
+do
+	date > $TMPDIR/synops$dir
+	echo >> $TMPDIR/synops$dir
+	cd $MANDIR/man$dir
+	for file in $FILLST
+	do
+		so=`line < $file | sed "s/ .*//"`
+		if test "$so" = ".so"
+		then
+			continue
+		fi
+		nroff -man $file > $TMPDIR/tmp.$$
+		echo "$file:" >> $TMPDIR/synops$dir
+		ed - $TMPDIR/tmp.$$ >> $TMPDIR/synops$dir <<!
+			/SYNOPSIS/;+,/^     [A-Z][A-Z][A-Z][A-Z]/-p
+			q
+!
+	done
+done
+
+rm -f $TMPDIR/tmp.$$