diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-04-pager')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-04-pager | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-04-pager b/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-04-pager deleted file mode 100644 index fca0ba5c831..00000000000 --- a/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-04-pager +++ /dev/null @@ -1,12 +0,0 @@ -diff -ur dvi2tty-5.3.3.orig/dvi2tty.c dvi2tty-5.3.3/dvi2tty.c ---- dvi2tty-5.3.3.orig/dvi2tty.c 2010-10-30 14:37:14.000000000 +0200 -+++ dvi2tty-5.3.3/dvi2tty.c 2010-11-06 18:33:49.064212708 +0100 -@@ -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 "/bin/more" /* CHANGE TO YOUR LOCAL PAGER */ -+#define DEFPAGER "more" /* CHANGE TO YOUR LOCAL PAGER */ - - /*------------------ end of customization constants ---------------------*/ - |