[OT]: STIX fonts

2002-08-31 Thread Giuseppe Ghibò
Sorry for the off-topic, but what do you think about: http://www.stixfonts.org/ Bye. Giuseppe.

Re: Problems with texlinks and fmtutil

2002-08-31 Thread Thomas Esser
> this problem? I'd always thought that "exit x" should set $? to x on all > platforms. I guess that the systems in question don't show "rc=0" when executing the following code: /bin/sh -c "trap 'echo rc=\$?; exit \$rc' 0; false; exit 0" On Linux with bash and with the /bin/sh on Sun Solaris