texinst752

名前: kei
日時: 2004-02-17 22:39:34
IPアドレス: 221.119.53.*

texinst752 のソースを眺めましたが、
otfdevel.tar.bz2 と otf.tar.bz2 が同じディレクトリにあった場合、
どちらも展開されるようになっていませんか？

> otf.tar.bz2 と otfdevel.tar.bz2 はどちらかを選択して、一方だけを使用します。

とありましたので、気になりました。

この書き込みへの返事：