名前: 岩田 日時: 2002-12-09 16:14:02 IPアドレス: 130.34.95.*
>>13735 > virtual fonts の展開が必要なもので、 > dvicopy がエラーを返すようだと、だめです。 確かにdviselectをそのまま使うとエラーになってしまいました． イレギュラーな使い方かもしれませんが，dvitools-w32.tar.gzに 同梱のdvidviを使って切り出してみたらうまくできるようです． %% 1ページから10ページまで切り出す dvidvi -f 1 -l 10 in.dvi out.dvi
この書き込みへの返事：