名前: 角藤 日時: 2004-10-21 10:19:49 IPアドレス: 157.13.51.* あまり知られていないと思いますので、--recorder option についてちょっと記します。 platex -rec foo とすると、現在の job で入出力したファイルに関するリスト等 が platex.fls なるファイルに記述されます。 何かの役にたつことがあるかも知れません。 (他人にソースを渡すとき、タイプセットに必要なファイルがわかる、など)
この書き込みへの返事：