# LaTeX2HTML 2002-2-1 (1.70)
# Associate labels original text with physical files.


$key = q//;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:script_names/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/fig:options/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:libc/;
$external_labels{$key} = "$URL/" . q|node5.html|; 
$noresave{$key} = "$nosave";

$key = q/DEBUGSTARTUP/;
$external_labels{$key} = "$URL/" . q|node8.html|; 
$noresave{$key} = "$nosave";

$key = q/subsec:fgrepdatei/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/subsec:statdatei/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:opt_txt/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/subsec:konfigspezdatei/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/subsec:addtoopt/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:expr/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

$key = q/tab:mkfli4l/;
$external_labels{$key} = "$URL/" . q|node7.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2002-2-1 (1.70)
# labels from external_latex_labels array.


$key = q//;
$external_latex_labels{$key} = q|1.5.6|; 
$noresave{$key} = "$nosave";

$key = q/sec:script_names/;
$external_latex_labels{$key} = q|1.5.13|; 
$noresave{$key} = "$nosave";

$key = q/fig:options/;
$external_latex_labels{$key} = q|1.1|; 
$noresave{$key} = "$nosave";

$key = q/sec:libc/;
$external_latex_labels{$key} = q|1.3|; 
$noresave{$key} = "$nosave";

$key = q/DEBUGSTARTUP/;
$external_latex_labels{$key} = q|1|; 
$noresave{$key} = "$nosave";

$key = q/subsec:fgrepdatei/;
$external_latex_labels{$key} = q|1.5.7|; 
$noresave{$key} = "$nosave";

$key = q/subsec:statdatei/;
$external_latex_labels{$key} = q|1.5.7|; 
$noresave{$key} = "$nosave";

$key = q/sec:opt_txt/;
$external_latex_labels{$key} = q|1.5.4|; 
$noresave{$key} = "$nosave";

$key = q/subsec:konfigspezdatei/;
$external_latex_labels{$key} = q|1.5.4|; 
$noresave{$key} = "$nosave";

$key = q/subsec:addtoopt/;
$external_latex_labels{$key} = q|1.5.7|; 
$noresave{$key} = "$nosave";

$key = q/tab:expr/;
$external_latex_labels{$key} = q|1.2|; 
$noresave{$key} = "$nosave";

$key = q/tab:mkfli4l/;
$external_latex_labels{$key} = q|1.1|; 
$noresave{$key} = "$nosave";

1;

