名前: 北見 けん 日時: 2003-02-23 10:58:21 IPアドレス: 211.128.71.* >>16857 >-sh が何かは調べていませんが -sh は -shell-escape のことでしょう。 オプションの頭数文字が一致すれば、好意的に解釈してくれます。 同じ頭を持つオプションが複数あって、指定した数文字だけでは判別できないときは、 その旨を返答してきます。（例えば platex -in とかやった場合）
この書き込みへの返事：