Re: GuiShell で -sh オプションをつけたい

名前: SHIMA
日時: 2003-02-23 14:57:06
IPアドレス: 61.121.16.*

>>16905 >>platexsh.exe が platex.fmt の方を呼び出せばよい? > >簡単には、以下を platexsh.c として、platexsh.exe >を作成するだけでよいと思います: platexsh.fmt が存在しないと platexsh.exe を GuiShell に登録できない かと思ったのですが... 実際には使わないので、サイズが 0 または、登録後に消してもよい? なお system("platex -sh foo"); では、GuiShellが platex.exe の画面出力を捕まえることができないようです。

この書き込みへの返事:

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