summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-04-pager
diff options
context:
space:
mode:
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-pager12
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 ---------------------*/
-