version 1.124, 2007/04/23 20:06:00
|
version 1.127, 2007/09/21 21:11:20
|
Line 217 print "<a href=\"$backref\"><b>Return</b
|
Line 217 print "<a href=\"$backref\"><b>Return</b
|
# $eps_f =~ s/\.[^.]*$/\.eps/i; |
# $eps_f =~ s/\.[^.]*$/\.eps/i; |
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 = $perlvar{'lonPrtDir'}.$eps_f; |
$eps_f = $perlvar{'lonPrtDir'}.'/'.$eps_f; |
} elsif ($eps_f=~/$perlvar{'lonDocRoot'}\/res\//) { |
} elsif ($eps_f=~/$perlvar{'lonDocRoot'}\/res\//) { |
$eps_f=~m/$perlvar{'lonDocRoot'}\/res\/(.+)/; |
$eps_f=~m/$perlvar{'lonDocRoot'}\/res\/(.+)/; |
$eps_f = $perlvar{'lonPrtDir'}.$1; |
$eps_f = $perlvar{'lonPrtDir'}.'/'.$1; |
} elsif ($eps_f=~/$perlvar{'lonUsersDir'}\//) { |
} elsif ($eps_f=~/$perlvar{'lonUsersDir'}\//) { |
$eps_f=~/$perlvar{'lonUsersDir'}\/([^\/]+)\/\w\/\w\/\w\/(.+)/; |
$eps_f=~/$perlvar{'lonUsersDir'}\/([^\/]+)\/\w\/\w\/\w\/(.+)/; |
$eps_f = $perlvar{'lonPrtDir'}.$1.'/'.$2; |
$eps_f = $perlvar{'lonPrtDir'}.'/'.$1.'/'.$2; |
} |
} |
$eps_f =~ s/ /\_/g; # Spaces are problematic for system commands and LaTeX. |
$eps_f =~ s/ /\_/g; # Spaces are problematic for system commands and LaTeX. |
# |
# |
Line 523 foreach $texfile (@texfile) {
|
Line 523 foreach $texfile (@texfile) {
|
if ($tableofindex eq 'yes') { |
if ($tableofindex eq 'yes') { |
my $idxname = $latex_file; |
my $idxname = $latex_file; |
$idxname =~ s/\.tex$/\.idx/; |
$idxname =~ s/\.tex$/\.idx/; |
&busy_wait_command("makindex $idxname", |
&busy_wait_command("makeindex $idxname", |
"Re-creating index file", |
"Re-creating index file", |
\%prog_state, $idxname); |
\%prog_state, $idxname); |
&busy_wait_command("latex $latex_file 1>/dev/null 2>/dev/null", |
&busy_wait_command("latex $latex_file 1>/dev/null 2>/dev/null", |
Line 868 sub repaginate {
|
Line 868 sub repaginate {
|
# bottom of the page, m the page number within the document. |
# bottom of the page, m the page number within the document. |
# |
# |
|
|
if ($line =~ /^%%Page:/) { |
if ($line =~ /^%%Page:\s+\d+\s+\d+/) { |
my @pageinfo = split(/\s+/, $line); |
my @pageinfo = split(/\s+/, $line); |
if ($page_number < $pageinfo[1]) { |
if ($page_number < $pageinfo[1]) { |
$page_number = $pageinfo[1]; |
$page_number = $pageinfo[1]; |