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

名前: SHIMA
日時: 2003-02-25 17:11:23
IPアドレス: 61.210.36.*

>>17015 >D:\temp>platexsh test >Cannot find D:\TEMP\PLATEXSH.EXE.cfg! 拡張子は .exe とみなしたので、 >D:\temp>platexsh.exe test でうまくいくかと思います。 あるいは、platexsh.exe.cfg も作っておくとか。 そのうち、修正しておきます。

この書き込みへの返事:

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