version 1.84, 2005/07/05 13:31:27
|
version 1.86, 2005/07/25 10:27:51
|
Line 210 END
|
Line 210 END
|
# print "$status_statement\n"; |
# print "$status_statement\n"; |
$not_eps=~s|\/\.\/|\/|g; |
$not_eps=~s|\/\.\/|\/|g; |
my $eps_f = $not_eps; |
my $eps_f = $not_eps; |
$eps_f =~ s/\.[^.]*$/\.eps/i; |
# $eps_f =~ s/\.[^.]*$/\.eps/i; |
|
$eps_f .= '.eps'; # Just append the eps ext. |
if ($eps_f=~/\/home\/([^\/]+)\/public_html\//) { |
if ($eps_f=~/\/home\/([^\/]+)\/public_html\//) { |
$eps_f=~s/\/home\/([^\/]+)\/public_html/$1/; |
$eps_f=~s/\/home\/([^\/]+)\/public_html/$1/; |
$eps_f = '/home/httpd/prtspool/'.$eps_f; |
$eps_f = '/home/httpd/prtspool/'.$eps_f; |
Line 261 END
|
Line 262 END
|
@texfile=(); |
@texfile=(); |
for (my $i=1;$i<=$number_of_files;$i++) { |
for (my $i=1;$i<=$number_of_files;$i++) { |
my $new_texfile=$texfile; |
my $new_texfile=$texfile; |
$new_texfile=~s/\.tex/_$i\.tex/; |
$new_texfile=~s/\.tex//; |
|
$new_texfile = sprintf("%s_%03d.tex", $new_texfile,$i); |
|
print "<BR>Produced file: $new_texfile"; |
push @texfile,$new_texfile; |
push @texfile,$new_texfile; |
} |
} |
} |
} |