名前: 角藤 日時: 2005-03-18 16:07:50 IPアドレス: 157.13.51.* >>35056 cat foo.tex | platex platex <foo.tex は、直接端末から打ち込んだのと同じになるのでは ないかと思います。 (jobname は texput に固定)
この書き込みへの返事：