名前: 角藤 日時: 2002-12-08 21:04:02 IPアドレス: 203.165.2.*
>>13725 >dvitools-w32.tar.gz の中に dviselect.exe が含まれています オリジナルのままです。日本語 TeX では使用できないかと思います。 一般的な使用法は (1) dvicopy in.dvi in2.dvi により、 virtual fonts を解決します。 (2) dviselect -i in2.dvi -o out1.dvi "=3:10,=13:22" などとします。上の場合、物理ページで 3--10, 13--22 ページ を抜き出した out1.dvi ができます。
この書き込みへの返事：