diff options
Diffstat (limited to 'print/dvi2tty/files/patch-ac')
| -rw-r--r-- | print/dvi2tty/files/patch-ac | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/print/dvi2tty/files/patch-ac b/print/dvi2tty/files/patch-ac new file mode 100644 index 000000000000..6e98a9b1d58e --- /dev/null +++ b/print/dvi2tty/files/patch-ac @@ -0,0 +1,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 ---------------------*/ + |