3 test -f /bin
/sh5
&& test -z "$RUNNING_SH5" \
4 && { UNAMES
=`uname -s`; test "x$UNAMES" = xULTRIX
; } 2>/dev
/null \
5 && { RUNNING_SH5
=true
; export RUNNING_SH5
; exec /bin
/sh5
$0 ${1+"$@"}; }
8 test -f /bin
/bsh
&& test -z "$RUNNING_BSH" \
9 && { UNAMES
=`uname -s`; test "x$UNAMES" = xAIX
; } 2>/dev
/null \
10 && { RUNNING_BSH
=true
; export RUNNING_BSH
; exec /bin
/bsh
$0 ${1+"$@"}; }
13 # hack around a bug in zsh:
14 test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"'
16 tex
-progname=fontinst \
&tex
${1+"$@"}