File dvi2tty-pager.patch of Package dvi2tty

--- dvi2tty-5.3.4/dvi2tty.c.orig	2010-11-13 17:33:50.000000000 +0200
+++ dvi2tty-5.3.4/dvi2tty.c	2012-07-14 20:26:28.174471394 +0300
@@ -49,7 +49,7 @@
                               /* have terminals with latin1 chars */
 #define WANTPAGER   TRUE      /* default: try to pipe through a pager (like  */
                               /* more) if stdout is tty and no -o switch     */
-#define DEFPAGER    "more"   /* CHANGE TO YOUR LOCAL PAGER            */
+#define DEFPAGER    "less"   /* CHANGE TO YOUR LOCAL PAGER            */
 
     /*------------------ end of customization constants ---------------------*/