dvi 形式のファイルを ポストスクリプト形式のファイルに変換します。
% dvips [dvi file] -o [ps file]
オプション -o [ps file] を省略した場合、標準出力に出力されます。