dvi2tty: fix man page conflict