しばらく前からdvips(dvipsk-ja)が dvips: ! Couldn’t find header file 8r.enc というエラーを吐いて動かない。いろいろ探しまわって、[[http:/ … 続きを読む →
