コマンドラインでDVIを画像ファイルに変換できるようにする
java -jar dvibrowser.jar dvi.cui.ConvertToImage --dpi=2400 --shrink-factor=32 foo.dvi を実行すると foo.dvi のすべてのページが画像に変換できる。
java -jar dvibrowser.jar dvi.cui.ConvertToImage --dpi=2400 --shrink-factor=32 foo.dvi を実行すると foo.dvi のすべてのページが画像に変換できる。