Hallo Thomas, Ich habe nach einer Installation von
tetex-base_1.0.2+20021025-0.2_all.deb Das gleiche Problem. Auch eine Installation des neuen tetex-base_1.0.2+20021025-1.0_all.deb bringt keine Änderung.
Die Dateien sind wohl in der tetex-bin drin. Bist Du auch auf Sid unterwegs? Bei mir gings dann heute morgen.
Viel Erfolg Marc