diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager')
| -rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager b/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager new file mode 100644 index 00000000000..81cb872384f --- /dev/null +++ b/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager @@ -0,0 +1,12 @@ +diff -ur dvi2tty-5.3.1.orig/dvi2tty.c dvi2tty-5.3.1/dvi2tty.c +--- dvi2tty-5.3.1.orig/dvi2tty.c 2010-10-21 08:31:44.000000000 +0200 ++++ dvi2tty-5.3.1/dvi2tty.c 2010-10-21 11:15:43.000000000 +0200 +@@ -180,7 +180,7 @@ + /* don't have terminals with Scand. nat. chars */ + #define WANTPAGER TRUE /* default: try to pipe through a pager (like */ + /* more) if stdout is tty and no -o switch */ +-#define DEFPAGER "/usr/bin/pg" /* CHANGE TO YOUR LOCAL PAGER */ ++#define DEFPAGER "more" /* CHANGE TO YOUR LOCAL PAGER */ + + /*------------------ end of customization constants ---------------------*/ + |