version 1.1, 2002/03/01 22:01:11 |
version 1.2, 2002/03/02 16:33:51 |
|
|
# of the args and quit the loop when we find something starting with '+' |
# of the args and quit the loop when we find something starting with '+' |
set -A argv $0 "$@" |
set -A argv $0 "$@" |
while test "${argv[$OPTIND]#+}" = "${argv[$OPTIND]}" && \ |
while test "${argv[$OPTIND]#+}" = "${argv[$OPTIND]}" && \ |
getopts "biltvxd:h:s:" c; do |
getopts "biltvxd:h:m:s:" c; do |
case $c in |
case $c in |
b) LANG=$BRITISH |
b) LANG=$BRITISH |
STOP_LANG=$AMERICAN |
STOP_LANG=$AMERICAN |
|
|
;; |
;; |
i) DEROFF="$DEROFF -i" |
i) DEROFF="$DEROFF -i" |
;; |
;; |
l) DEROFF="delatex" |
i) DEROFF="$DEROFF -i" |
|
;; |
|
m) DEROFF="$DEROFF -m $OPTARG" |
;; |
;; |
t) DEROFF="detex" |
t) DEROFF="detex" |
;; |
;; |