version 1.554, 2009/06/02 12:20:14
|
version 1.554.2.1, 2009/06/17 10:21:33
|
Line 70 my $ssi_last_error; # The error text fr
|
Line 70 my $ssi_last_error; # The error text fr
|
my $ssi_retry_count = 5; # Some arbitrary value. |
my $ssi_retry_count = 5; # Some arbitrary value. |
|
|
|
|
|
# Font size: |
|
|
|
my $font_size = 'normalsize'; # Default is normalsize... |
|
|
|
|
# Fetch the contents of a resource, uninterpreted. |
# Fetch the contents of a resource, uninterpreted. |
# This is used here to fetch a latex file to be included |
# This is used here to fetch a latex file to be included |
Line 114 sub annotate {
|
Line 118 sub annotate {
|
return $result; |
return $result; |
} |
} |
|
|
|
# |
|
# Set a global document font size: |
|
# This is done by replacing \begin{document} |
|
# with \begin{document}{\some-font-directive |
|
# and \end{document} with |
|
# }\end{document |
|
# |
|
sub set_font_size { |
|
|
|
my ($text) = @_; |
|
|
|
$text =~ s/\\begin{document}/\\begin{document}{\\$font_size/; |
|
$text =~ s/\\end{document}/}\\end{document}/; |
|
return $text; |
|
|
|
|
|
} |
|
|
# include_pdf - PDF files are included into the |
# include_pdf - PDF files are included into the |
# output as follows: |
# output as follows: |
# - The PDF, if necessary, is replicated. |
# - The PDF, if necessary, is replicated. |
Line 2222 ENDPART
|
Line 2244 ENDPART
|
$URLback=~s|^/~|/priv/|; |
$URLback=~s|^/~|/priv/|; |
} |
} |
} |
} |
|
# |
|
# Final adjustment of the font size: |
|
# |
|
|
|
$result = set_font_size($result); |
|
|
#-- writing .tex file in prtspool |
#-- writing .tex file in prtspool |
my $temp_file; |
my $temp_file; |