名前: 奥村晴彦 日時: 2008-12-15 16:12:39 IPアドレス: 133.67.87.*
>>52356 dvidfmxオプションが使えないのは，やや古いバージョンなんですね。 新しいdvipdfmxはきっとbmpを黙ってjpgかpngのどちらかに変換して くれるんですね。どちらになるのでしょう？ どちらになるかは品質・軽さを考えて重要なポイントだと思いますので， 自動にまかせず自分で決めてあらかじめ変換しておくほうがいいような 気もします。大量にあっても（スキルがあれば）コマンド一発でできる ことですし。
この書き込みへの返事：