>> 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
_______________________________________________
dev-context mailing list
[email protected]
http://www.ntg.nl/mailman/listinfo/dev-context
