Re: その DVI は tex と ptex のどちらで作ったか

名前: 土村
日時: 2006-03-07 00:47:35
IPアドレス: 211.128.161.*

>>41825 > 完璧を求めないなら hoge.dvi に対して hoge.log があることを仮定して > `head -n 1 foo.log` で判定するとか... なるほど、TeX コンパイラの log で見分けると言うことですね。 これは思い付きませんでした。面白い方法ですね。 もう少しだけ実際的に書くなら、次のような感じでしょうか。 if head -n 1 ptetex.log | grep pTeX > /dev/null; then echo ptex else echo tex fi 私が考えていたのは、次の二つです。 (1) ptex を改造して、縦書きだけでなく横書でも DVI の ポストアンプルにあるバージョンを "3" に変更する。 (2) special 命令を新設して、コンパイルに使った TeX エンジン名を書き込む。 これよりかは (3) TeX エンジンの log 出力を見て見分ける。 というのは現実的という気がしますし、 日本語環境には *.log が必要という制約であれば、リーズナブルに思えます。 与えられた DVI ごとに(動的に)動作を切替える方法は、 これでほぼ出尽くした感じがします。 これ以外に、奥村先生(41789) や uchiyama さん(41772) で提案していただいているように、インストール状況や、設定によって、 静的に切替えてしまう方法も有望に思えて来ました。 栗山さん(41824)のレポートも含めて、もう少し考えてみます。

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます)