lib/Tools/symbolinput
changeset 2589 9d910f3681d0
parent 2399 6719b465198b
child 3007 e5efa177ee0c
--- 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