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, 0 insertions, 12 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 deleted file mode 100644 index 81cb872384f..00000000000 --- a/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager +++ /dev/null @@ -1,12 +0,0 @@ -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 ---------------------*/ - |