blob: 6e98a9b1d58ea05f4defcddfc9f53c7faee7201a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- dvi2tty.c.orig Mon Oct 16 09:35:23 2000
+++ dvi2tty.c Mon Oct 16 09:35:39 2000
@@ -114,7 +114,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 "/usr/bin/more" /* CHANGE TO YOUR LOCAL PAGER */
/*------------------ end of customization constants ---------------------*/
|