author | wenzelm |
Thu, 06 Feb 1997 18:22:59 +0100 | |
changeset 2589 | 9d910f3681d0 |
parent 2588 | b472d703fa06 |
child 2590 | 363b2c37a1b9 |
--- a/lib/Tools/symbolinput Thu Feb 06 18:22:21 1997 +0100 +++ b/lib/Tools/symbolinput Thu Feb 06 18:22:59 1997 +0100 @@ -4,14 +4,14 @@ # # DESCRIPTION: translate symbols into \<...> sequences # -# NOTE: If perl is unavailable we simply fall back on cat! +# NOTE: If perl is unavailable we simply fall back on ucat! PERL=$(type -path perl) if [ -z "$PERL" ] then - exec cat "$@" + exec $ISABELLE_HOME/lib/scripts/ucat "$@" else exec $PERL $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@" fi