名前: 角藤 日時: 2006-03-04 11:53:40 IPアドレス: 61.27.202.* >>41780 >そういうことが可能なのですか。 script ということなので、最もよいかげんには #!/bin/sh dvips $* || pdvips $* のようなことでよいということだと思います。 (個人的には dvips と dvipsk (pdvips) があるだけで充分 と思いますが...)
この書き込みへの返事：