名前: 本田 日時: 2005-07-26 15:10:31 IPアドレス: 219.118.112.* >>37025 > (bash) xdvi -debug open hoge.dvi 2>&1 | grep vfontmap なるほど，こういうオプションがあるのですね． >のように書き換えて、make font を実行してもらえばよいはずです。 ありがとうございます． 帰宅したらやってみます．
この書き込みへの返事：