すばやいレス、有難うございます＞増田様、武藤様 > JPパッケージのnon-freeのapt-lineにplatex-base/platexはあるはずですが。 > Debianオフィシャルパッケージのapt-lineしか設定していないとか？ あ、そうみたいです。potato-jpを足して試してみます。 > ＃なお、woody以降ではptex-binのほうにマージされています これは「そろそろwoodyを使ってみなさい！」というアドバイスと 受け取ればよいでしょうか？(@_@) -- S.Ito <sito@xxxxxxxxxxxxx>