>> 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
dev-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/dev-context

Reply via email to