diff options
author | bde <bde@FreeBSD.org> | 2002-06-01 21:38:39 +0000 |
---|---|---|
committer | bde <bde@FreeBSD.org> | 2002-06-01 21:38:39 +0000 |
commit | f70773e9649efef1e0a3d1066233ee55c5ac6b21 (patch) | |
tree | e4da5cbfa0fc7a186c128fadf269f84dbad1c011 | |
parent | fad7fa316aaf225f76d38da991f075efdf91e401 (diff) | |
download | FreeBSD-src-f70773e9649efef1e0a3d1066233ee55c5ac6b21.zip FreeBSD-src-f70773e9649efef1e0a3d1066233ee55c5ac6b21.tar.gz |
Finish removing the share/man/tools/directory.
-rw-r--r-- | share/man/tools/.param | 95 |
1 files changed, 0 insertions, 95 deletions
diff --git a/share/man/tools/.param b/share/man/tools/.param deleted file mode 100644 index 96c1bbd..0000000 --- a/share/man/tools/.param +++ /dev/null @@ -1,95 +0,0 @@ -export MANDIR TMPDIR -export DIRLST FILLST -export LFLAG PFLAG ID - -MANDIR=/usr/share/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 |