名前: psi 日時: 2006-06-01 16:01:52 IPアドレス: 210.162.22.*
>>43224 私はdvi2ttyを利用しています。多少の整形は必要ですが。 $dvi2tty -h dvi2tty Copyright (C) 1984, 1985, 1986 Svante Lindahl. Copyright (C) 1988 M.J.E. Mol 1989, 1990 @(#) dvi2tty.c 5.0 29/11/90 M.J.E. Mol (c) 1989, 1990 Usage: dvi2tty [ options ] <dvi-file>[.dvi] Options are: -ofile Write output to file, else write to stdout. -plist Print pages whos TeX-page-number are in list. -Plist Print pages whos sequential number are in list. -wn Print the lines with width n characters, default 78. -vn Use n for vertical line height, default 450000. -evalue Add/Substract this value for spacing (-20..20) -E EUC-JP output, default SHIFT-JIS. -f Try to pipe to a pager if output is a tty (default). -q Don't try to pipe to a pager. -Fprog Pipe output to pager prog. -a Remove accents grave etc. from output: \'{e} -> e. -l Write ''^L'' instead of formfeed between pages. -u National Swedish/Finnish characters printed as aaoAAO (default). -s National Swedish/Finnish characters printed as }{|][\. -h This help message.
この書き込みへの返事：