version 1.125, 2007/05/10 09:53:39
|
version 1.127, 2007/09/21 21:11:20
|
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]; |