version 1.237, 2003/02/19 15:20:35
|
version 1.239, 2003/02/25 21:27:07
|
Line 458 sub htmlclean {
|
Line 458 sub htmlclean {
|
sub latex_special_symbols { |
sub latex_special_symbols { |
my ($current_token,$stack,$parstack,$where)=@_; |
my ($current_token,$stack,$parstack,$where)=@_; |
if ($where eq 'header') { |
if ($where eq 'header') { |
$current_token =~ s/(\\|_|^)/ /g; |
$current_token =~ s/(\\|_|\^)/ /g; |
$current_token =~ s/(\$|%|\#|&|\{|\})/\\$1/g; |
$current_token =~ s/(\$|%|\#|&|\{|\})/\\$1/g; |
} else { |
} else { |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\\ /\\char92 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/(&[^a-z\#])/\\$1/g; |
$current_token=~s/(&[^a-z\#])/\\$1/g; |
$current_token=~s/([^&])\#/$1\\#/g; |
$current_token=~s/([^&])\#/$1\\#/g; |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |
$current_token=~s/(>|<)/\$$1\$/g; #more or less |
$current_token=~s/(>|<)/\$$1\$/g; #more or less |
if ($current_token=~m/\d%/) {$current_token =~ s/(\d)%/$1\\%/g;} #percent after digit |
if ($current_token=~m/\d%/) {$current_token =~ s/(\d)%/$1\\%/g;} #percent after digit |
if ($current_token=~m/\s%/) {$current_token =~ s/(\s)%/$1\\%/g;} #persent after space |
if ($current_token=~m/\s%/) {$current_token =~ s/(\s)%/$1\\%/g;} #persent after space |
} |
} |
return $current_token; |
return $current_token; |
} |
} |
Line 486 sub inner_xmlparse {
|
Line 486 sub inner_xmlparse {
|
if ($metamode<1) { |
if ($metamode<1) { |
my $text=$token->[1]; |
my $text=$token->[1]; |
if ($token->[0] eq 'C' && $target eq 'tex') { |
if ($token->[0] eq 'C' && $target eq 'tex') { |
$text = '%'.$text."\n"; |
$text = ''; |
|
# $text = '%'.$text."\n"; |
} |
} |
$result.=$text; |
$result.=$text; |
} |
} |