--- 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 ---------------------*/