dvi2tty.c では DEFPAGER が定義されていますが, これはシステムによって適切な値を指定しなければいけません。 これを Makefile の CFLAGS によって指定できるようにするためのパッチです。 -- 1993年 8月 2日(月) すぎうら しげき *** ./dvi2tty.c.ORIG Mon Aug 2 20:38:34 1993 --- ./dvi2tty.c Mon Aug 2 20:56:11 1993 *************** *** 125,131 **** --- 125,133 ---- /* 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 */ + #ifndef DEFPAGER #define DEFPAGER "/usr/bin/pg" /* CHANGE TO YOUR LOCAL PAGER */ + #endif /*------------------ end of customization constants ---------------------*/