[debian-users:27824] Re: Bug#JP/1400: ptex-bin: should be note that platex is not necessary anymore?

[NAKANO Takeo <nakano@xxxxxxxxxxxxxxxx>]

あらら？

<200104101134.f3ABYM7Q005715@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>の記事において
私は書きました。

> platex %Q%C%1!<%8$,:#8e$OITMW$K$J$C$?$3$H$r!"2?$i$+$N
> $+$?$A$G%f!<%6!<$KCN$i$;$k$HNI$$$N$G$O$J$$$+$H;W$$$^$9!#
> 
> $A$c$s$H
> 
> Replaces: platex
> 
> $7$F$k$N$GK\Mh$OITMW$+$H;W$$$^$9$,!"<B:]$K%$%s%9%H!<%k
> $7$?:]$K$A$g$C$H$"$;$j$^$7$?$N$G!#

　元の文は以下のようなものです。

===================================================
platex パッケージが今後は不要になったことを、何らかの
かたちでユーザーに知らせると良いのではないかと思います。

ちゃんと

Replaces: platex

してるので本来は不要かと思いますが、実際にインストール
した際にちょっとあせりましたので。
===================================================

　ちなみに sid の

ii  bug-ja         3.2.2.2        Bug Reporting Tool interfacing with the Bug

の bug -j ptex-bin で送りました。　うーん、自分への
同報メールはちゃんと普通に届いたのですが。

--
中野＠成蹊大