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

名前: SHIMA
日時: 2003-02-23 12:21:38
IPアドレス: 61.121.16.*

>>16857 > -sh が何かは調べていませんが、無理っぽいです。 「platex を -sh オプション付きで起動する platexsh.exe とかを作って、 platex.fmt を platexsh.fmt という名前でコピーしておく」というのは駄目 でしょうか?(platexsh.fmt は、コピーでなくても存在していれば、 platexsh.exe が platex.fmt の方を呼び出せばよい?) platexsh.exe の作り方は、最近の(February 18, 2003)角藤さんの 「ゲストブック」が参考になります(dll の呼び出し方)。

この書き込みへの返事:

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