version 1.41, 2002/07/23 14:09:45
|
version 1.43, 2002/07/26 18:40:43
|
Line 284 ENDPART
|
Line 284 ENDPART
|
$first_comment = index($result,'<!--',$first_comment); |
$first_comment = index($result,'<!--',$first_comment); |
} |
} |
$result =~ s/^\s+$//gm; #remove empty lines |
$result =~ s/^\s+$//gm; #remove empty lines |
$result =~ s/%/\\%/g; #corrects % |
$result =~ s/([^\\])%/\$1\%/g; #corrects % |
$result =~ s/(\s)+/$1/g; #removes more than one empty space |
$result =~ s/(\s)+/$1/g; #removes more than one empty space |
$result =~ s/\\\\\s*\\vskip/\\vskip/gm; |
$result =~ s/\\\\\s*\\vskip/\\vskip/gm; |
$result =~ s/ (<|>|) / \$$1\$ /g; #corrects < or > |
$result =~ s/ (<|>|) / \$$1\$ /g; #corrects < or > |
Line 297 ENDPART
|
Line 297 ENDPART
|
if ($result =~ m/&(\w+|#\d+);/) { |
if ($result =~ m/&(\w+|#\d+);/) { |
$result = &character_chart($result); |
$result = &character_chart($result); |
} |
} |
|
$result =~ s/(\\end{tabular})\s*\\vskip 0 mm/$1/g; |
|
$result =~ s/(\\begin{enumerate})\s*\\noindent/$1/g; |
#-- writing .tex file in prtspool |
#-- writing .tex file in prtspool |
my $temp_file; |
my $temp_file; |
my $filename = "/home/httpd/prtspool/$ENV{'user.name'}_$ENV{'user.domain'}_printout_".time."_".rand(10000000).".tex"; |
my $filename = "/home/httpd/prtspool/$ENV{'user.name'}_$ENV{'user.domain'}_printout_".time."_".rand(10000000).".tex"; |
Line 473 sub character_chart {
|
Line 475 sub character_chart {
|
# $result =~ s/®//g; |
# $result =~ s/®//g; |
# $result =~ s/¯//g; |
# $result =~ s/¯//g; |
# $result =~ s/¯//g; |
# $result =~ s/¯//g; |
$result =~ s/°/\$^\\{\\circ\\}\$/g; |
$result =~ s/°/\$^{\\circ}\$/g; |
$result =~ s/°/\$^\\{\\circ\\}\$/g; |
$result =~ s/°/\$^{\\circ}\$/g; |
$result =~ s/±/\$\\pm\$/g; |
$result =~ s/±/\$\\pm\$/g; |
$result =~ s/±/\$\\pm\$/g; |
$result =~ s/±/\$\\pm\$/g; |
$result =~ s/²/\$^2\$/g; |
$result =~ s/²/\$^2\$/g; |