23 May
2008
23 May
'08
3:21 p.m.
To /tmp, but there is no $TMP or $TEMP defined anywhere.
weird, maybe they use some apple name, like $WASTEBIN or $THRASH
We already had that discussion: very few systems actually set TMP or TEMP (the first public releases of Mark IV used to assume it was set, and subsequently created luatex-cache in the current directory since it wasn't). Arthur