author | wenzelm |
Tue, 20 May 1997 19:29:50 +0200 | |
changeset 3257 | 4e3724e0659f |
parent 3007 | e5efa177ee0c |
child 4508 | f102cb0140fe |
permissions | -rwxr-xr-x |
3007 | 1 |
#!/bin/bash |
2399 | 2 |
# |
3 |
# $Id$ |
|
4 |
# |
|
5 |
# DESCRIPTION: translate symbols into \<...> sequences |
|
6 |
# |
|
2589 | 7 |
# NOTE: If perl is unavailable we simply fall back on ucat! |
2399 | 8 |
|
9 |
||
10 |
PERL=$(type -path perl) |
|
11 |
||
12 |
if [ -z "$PERL" ] |
|
13 |
then |
|
2589 | 14 |
exec $ISABELLE_HOME/lib/scripts/ucat "$@" |
2399 | 15 |
else |
16 |
exec $PERL $ISABELLE_HOME/lib/scripts/symbolinput.pl "$@" |
|
17 |
fi |