あるファイルを扱ったら、"jis.tfm" がありませんと言われた。google で検索すると、ptex と一緒に配られているよ！とのこと。Debian がダメなのかなぁ、と思っていたら、あるパソコンにはちゃんと jis.tfm があるじゃないか。よく調べると、ptex-jisfonts …