Ticket #1686: 84_use_dvicat_instead_of_dvi2tty.patch
File 84_use_dvicat_instead_of_dvi2tty.patch, 669 bytes (added by zaytsev, 15 years ago) |
---|
-
mc-4.7.0-pre2~git20090919
Description: Use catdvi instead of dvi2tty and improve code Bug-debian: http://bugs.debian.org/543202 Author: Denis Briand <denis@narcan.fr>
old new 527 527 528 528 # DVI 529 529 regex/\.([dD][vV][iI])$ 530 Open= if [ x$DISPLAY = x ]; then dvisvga %f; else (xdvi %f &); fi531 View=%view{ascii} dvi2tty%f530 Open=run-mailcap %f 2>&1 & 531 View=%view{ascii} catdvi %f 532 532 533 533 # TeX 534 534 regex/\.([Tt][Ee][Xx])$