(я использую debian squeeze)
я пробовал catdvi (но это недопустимо - просто много символов?)
сейчас я использую tex4ht но он ужасно медленный ..
например, генерирует html для этого:
занимает ~ 2 секунды (это в 4+ раза медленнее, чем генерация изображения !!!)
- что-то не так с моим конфигом или tex4ht действительно такой медленный?
- (я сомневаюсь, что с моим конфигом что-то не так) есть ли другие (БЫСТРЫЕ) надежные конвертеры tex2html?