version 1.343.2.3, 2005/02/09 19:53:55
|
version 1.343.2.4, 2005/02/09 19:57:19
|
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' || !$ENV{'request.role.adv'}) { |
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". |