名前: 竹の 日時: 2008-12-04 09:15:04 IPアドレス: 202.243.120.*
>>52321 基本的にはバッチファイルでできますが、まずはそれらの変換をコマンド プロンプト上でやる手法を調べる必要があると思います。ちなみに、 dvi -> ps -> eps と書いておられますが、dvips の -E オプションを使えば dvi から直接 EPS を作ることができます。 eps -> png はどうやっておられるのでしょうか。もしそこで GUI のツー ルを使っておられるのなら、それをコマンドプロンプトでやる手法を探し てください。私なら Netpbm を使いますが、既に出ているように ImageMagick の convert を使う手もありますし、素の ghostscript だけ でもできそうな気がします。 なお、実際には、どこかで (多分 eps -> png のときに) 大きさを調整した くなるでしょうから、そういうことができるような仕組みも考える必要があ るかもしれません。
この書き込みへの返事：