Re: Problems with texlinks and fmtutil

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 2.7, I

[OT]: STIX fonts

Sorry for the off-topic, but what do you think about: http://www.stixfonts.org/ Bye. Giuseppe.