Hi Axel,

thanks for the immediate check and fix, very much appreciated.

> Why are you using bash here? The script has a "#!/bin/sh" shebang line

No special reason but simply habit ;-)

Best

Norbert

--
PREINING Norbert                               http://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

Reply via email to