名前: xdvi 日時: 2002-07-03 03:34:33 IPアドレス: 61.193.86.*
>>9197 RedHat 7.2ではplatexのdviファイルについては，xdviではなくpxdviを使いま す．どのlinuxディストリビューションでもそうだというわけではないのです が，RedHat 7.2ではそのようになっています． なお，本題とは関係ありませんが，この掲示板では書き込む人が改行をいれる ことになっているので(プログラムのコードなどをそのまま載せるために便利)， 適当なところで改行するようにしてください．
この書き込みへの返事：