: usr / bin / 

Filename : dvi2tty
back