Frank Küster <frank@debian.org> wrote: [...] > Riku Voipio <riku.voipio@iki.fi> wrote: [...] > > I also noticed that /tmp is hardcoded into many of tetex-bin tools, [...] > /usr/bin/t1mapper : $logname="/tmp/$logname"; I'll take this one (for next release of xdvik, > 22.84) Best, Stefan