1 files changed, 95 insertions, 0 deletions
diff --git a/share/man/tools/.param b/share/man/tools/.param
new file mode 100644
index 0000000..329b82d
--- /dev/null
+++ b/share/man/tools/.param
@@ -0,0 +1,95 @@
+export MANDIR TMPDIR
+export DIRLST FILLST
+export LFLAG PFLAG ID
+
+MANDIR=/usr/man
+TMPDIR=/tmp
+DIRLST=
+FILLST=
+LFLAG=
+PFLAG=
+ID=
+
+shift
+
+while [ $# -gt 0 ]
+do
+	case $1 in
+	-m)
+		shift
+		MANDIR=$1
+		shift
+		;;
+
+	-t)
+		shift
+		TMPDIR=$1
+		shift
+		;;
+
+	-d | -l)
+		LFLAG=1
+		shift
+		;;
+
+	-p)
+		PFLAG=1
+		shift
+		;;
+
+	-i | -o)
+		shift
+		ID=$1
+		shift
+		;;
+
+	-s)
+		shift
+		while [ $# -gt 0 ]
+		do
+			case $1 in
+			[1-8])
+				DIRLST="$DIRLST $1"
+				shift
+				;;
+
+			*)
+				break
+				;;
+			esac
+		done
+		;;
+
+	-f)
+		shift
+		while [ $# -gt 0 ]
+		do
+			case $1 in
+			-*)
+				break
+				;;
+
+			*)
+				FILLST="$FILLST $1"
+				shift
+				;;
+			esac
+		done
+		;;
+
+	*)
+		echo $0: unknown option $1
+		exit 2
+		;;
+	esac
+done
+
+if [ -z "$DIRLST" ]
+then
+	DIRLST="1 2 3 4 5 6 7 8"
+fi
+
+if [ -z "$FILLST" ]
+then
+	FILLST=*.*
+fi