version 1.94.2.1, 2006/04/24 21:31:03
|
version 1.95, 2006/02/04 19:01:20
|
Line 242 print "<a href=\"$backref\"><b>Return</b
|
Line 242 print "<a href=\"$backref\"><b>Return</b
|
$done_conversion{$not_eps}=1; |
$done_conversion{$not_eps}=1; |
# print "Converting $not_eps -> $eps_f"; # Debugging |
# print "Converting $not_eps -> $eps_f"; # Debugging |
system("convert $not_eps $eps_f"); |
system("convert $not_eps $eps_f"); |
# check is eps exist in prtspool |
#check is eps exist in prtspool |
if (not -e $eps_f) { |
if(not -e $eps_f) { |
# converting an animated gif creates either: |
|
# anim.gif.eps.0 |
|
# or |
|
# anim.gif-0.eps |
|
for (my $i=0;$i<10000;$i++) { |
for (my $i=0;$i<10000;$i++) { |
if (-e $eps_f.'.'.$i) { |
if (-e $eps_f.'.'.$i) { |
rename($eps_f.'.'.$i, $eps_f); |
rename $eps_f.'.'.$i, $eps_f; |
last; |
last; |
} |
} |
my $anim_eps = $eps_f; |
|
$anim_eps =~ s/(\.[^.]*)\.eps$/$1-$i\.eps/i; |
|
if (-e $anim_eps) { |
|
rename($anim_eps, $eps_f); |
|
last; |
|
} |
|
} |
|
} |
|
# imagemagick 6.2.0-6.2.7 fails to properly handle |
|
# convert anim.gif anim.gif.eps |
|
# it creates anim.eps instead. |
|
if (not -e $eps_f) { |
|
my $eps_f2 = $eps_f; |
|
$eps_f2 =~ s/\.[^.]*\.eps$/\.eps/i; |
|
if(-e $eps_f2) { |
|
rename($eps_f2,$eps_f); |
|
} |
} |
} |
} |
|
|
} |
} |
} |
} |
if ($advanced_role) { |
if ($advanced_role) { |
Line 358 foreach $texfile (@texfile) {
|
Line 337 foreach $texfile (@texfile) {
|
\%prog_state,$dvi_file); |
\%prog_state,$dvi_file); |
if ($tableofcontents eq 'yes') { |
if ($tableofcontents eq 'yes') { |
&busy_wait_command("latex $name_file 1>/dev/null 2>/dev/null", |
&busy_wait_command("latex $name_file 1>/dev/null 2>/dev/null", |
"for $status_statement now LaTeXing file for table of contents", |
"for $status_statement First LaTeX of file for table of contents", |
|
\%prog_state,$dvi_file); |
|
&busy_wait_command("latex $name_file 1>/dev/null 2>/dev/null", |
|
"for $status_statement Second LaTeX of file for table of contents", |
\%prog_state,$dvi_file); |
\%prog_state,$dvi_file); |
} #to create table of contents |
} #to create table of contents |
my $idxname=$name_file; |
my $idxname=$name_file; |