Hi, all! Can anyone suggest any tool for converting *.dvi files into a human readable format? I got some manuals in this format and would like to read them. The is dozens of programs that work with dvi-files in my redhat-i distro, but i can not guess wich of them will help me. Thanks in advance, Sergey.