version 1.358, 2005/02/07 17:12:46
|
version 1.359, 2005/02/09 15:56:45
|
Line 698 sub IndexCreation {
|
Line 698 sub IndexCreation {
|
sub print_latex_header { |
sub print_latex_header { |
my $mode=shift; |
my $mode=shift; |
my $output='\documentclass[letterpaper]{article}'; |
my $output='\documentclass[letterpaper]{article}'; |
if ($mode eq 'batchmode') { |
if (($mode eq 'batchmode') || (!$ENV{'request.role.adv'})) { |
$output.='\batchmode'; |
$output.='\batchmode'; |
} |
} |
$output.='\newcommand{\keephidden}[1]{}\renewcommand{\deg}{$^{\circ}$}'."\n". |
$output.='\newcommand{\keephidden}[1]{}\renewcommand{\deg}{$^{\circ}$}'."\n". |