From 1aa122b765180e728816240b5faf914649bcc409 Mon Sep 17 00:00:00 2001
From: Slava Zanko <slavazanko@gmail.com>
Date: Fri, 5 Oct 2012 10:50:13 +0300
Subject: [PATCH] Ticket #1686: use dvicat if dvi2tty not found

Signed-off-by: Slava Zanko <slavazanko@gmail.com>
---
 misc/ext.d/doc.sh.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/misc/ext.d/doc.sh.in b/misc/ext.d/doc.sh.in
index deae24d8d..4d7a8579a 100644
--- a/misc/ext.d/doc.sh.in
+++ b/misc/ext.d/doc.sh.in
@@ -70,7 +70,9 @@ do_view_action() {
             strings "${MC_EXT_FILENAME}"
         ;;
     dvi)
-        dvi2tty "${MC_EXT_FILENAME}"
+        which dvi2tty >/dev/null 2>&1 && \
+            dvi2tty "${MC_EXT_FILENAME}" || \
+            catdvi "${MC_EXT_FILENAME}"
         ;;
     djvu)
         djvused -e print-pure-txt "${MC_EXT_FILENAME}"