Hi,

> > Is there something wrong with /bin/sh?
> I suspect that the teTeX distribution was only tested on Linux systems
> where /bin/sh is bash. So the script probably relies on a bash extension
> somewhere.

I don't think so:

* when called as `sh' bash behaves just like a `sh'

* it worked fine under HP-UX :)

Bye,
Jochen

-- 
                      ------------------------------------
                      EMail:   jscharrl@ba-stuttgart.de
                         or:   acorn1@ftp.uni-stuttgart.de
                      ------------------------------------