#!/usr/local/bin/perl

# 
# dviimages: dvi ファイルの全ページイメージ (dvi-sXX.gif) を個別生成する．
# 
#     [1998/03/07] OSHIRO Naoki.
# 
#     $Log:$
#

require "getopts.pl";
&Getopts("r:s:e:p:"); # r:reso, s:start, e:end, p:img_prefix

$page_start=(($opt_s)? $opt_s:0  );
$page_last =(($opt_e)? $opt_e:100);
$reso      =(($opt_r)? $opt_r:10 );
$img_prefix=(($opt_p)? $opt_p:"dvi-s"   );

$dvifile=shift(@ARGV);

for ($i=$page_start; $i<=$page_last; $i++) {
  $pn=sprintf("%02d", $i);
  system("jdvi2kps -f $i -t $i $dvifile | gs -sDEVICE=ppmraw -r$reso -q -dNOPAUSE -sOutputFile=- - quit.ps | ppmtogif > $img_prefix$pn.gif");
}