[debian-devel:11384] xdvik and xdvik-ja

[NABETANI Hidenobu <nabetani@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

鍋谷です。

potato では xdvik-ja が以下のように変更されています。
----------------------------------------------------------------------
Subject: [debian-users:19037] dvi2ps-j, xdvik-ja, fontdata-j, jtex-bas
From: nakahara@xxxxxxxxxxxxxxxxxxxxx 
Date: Thu, 18 Nov 1999 02:36:52 +0900 

* xdvik-ja は、コマンド名を xdvi-ja および xdvi-ja.small とし
  xdvi への diversion は廃止しました。不自由な方は、alias 等を
  利用してください。
----------------------------------------------------------------------

しかし、xdvik-ja が xdvi というバイナリ名で利用できないと少々
面倒です。このようにした理由が、単に non-Ja な xdvik が
tetex-bin パッケージに含まれているためであるのならば、tetex-bin
の分割を bug report しますが、どうでしょうか。

# 気づくのが遅かった。

大阪大学理学研究科物理学専攻 博士後期課程2年 大坪研究室(06-6850-5346)
         鍋谷 栄展      nabetani@xxxxxxxxxxxxxxxxxxxxxxxxxxx