Проблема решилась переустановкой tetex'а.
Всем спасибо.

Ответить