Bug#79213: got hit by the same, found a way out

[Cyrille Chepelov <chepelov@calixo.net>]

Hi,

I've just been hit by the exact same bug (latest unstable tetex-bin,
1.0.7+20000807-7). Found a way out !

dpkg --purge tetex-bin
unser TEXINPUTS  # <---- This is the key !
apt-get install tetex-bin

Chris, does that help ?

	-- Cyrille

-- 
Grumpf.