# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.


$key = q/sec:comments/;
$ref_files{$key} = "$dir".q|node26_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:editors/;
$ref_files{$key} = "$dir".q|node4_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:gcc/;
$ref_files{$key} = "$dir".q|node14_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:gdb/;
$ref_files{$key} = "$dir".q|node15_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:gpl/;
$ref_files{$key} = "$dir".q|node24_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:indent/;
$ref_files{$key} = "$dir".q|node28_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:proto/;
$ref_files{$key} = "$dir".q|node30_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:pvfs-comments/;
$ref_files{$key} = "$dir".q|node50_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:pvfs-copyright/;
$ref_files{$key} = "$dir".q|node49_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:pvfs-naming/;
$ref_files{$key} = "$dir".q|node51_ct.html|; 
$noresave{$key} = "$nosave";

$key = q/sec:static/;
$ref_files{$key} = "$dir".q|node33_ct.html|; 
$noresave{$key} = "$nosave";

1;

