名前: 中丸 日時: 2002-06-10 02:56:10 IPアドレス: 218.42.33.* >>8863 もう少しきっちりと直しました．--keepmetricsというオプションでメトリッ クを残すことができます．ついでにjps2pdf.plでepstopdf.plと同様のepsへの 対応も組み込みました．
この書き込みへの返事：