[debian-users:32254] woody: ptex-bin が tetex-bin の upgrade 後に使えなくなる

sid でも同様の症状に。dpkg-reconfigure ptex-bin で直った。