[OT]: STIX fonts
Sorry for the off-topic, but what do you think about: http://www.stixfonts.org/ Bye. Giuseppe.
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